:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Herrmann, Christian
Format:	Preprint
Published:	2024
Subjects:	Logic 06C05, 03D40, 06B25
Online Access:	https://arxiv.org/abs/2406.04237
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)

Elementary properties of free lattices III: Undecidability of the full theory
by: Nation, J. B., et al.
Published: (2025)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)

Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

A Fraïssé theory for partial orders of a fixed finite dimension
by: Smythe, Iian B., et al.
Published: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

On rearrangement inequalities for T-norm logics
by: Wu, Chai Wah
Published: (2022)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
by: Lin, Chun-Yu, et al.
Published: (2025)

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

Infinite-Exponent Partition Relations on the Real Line
by: Gardiner, Lyra A.
Published: (2025)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

Elementary Properties of Free Lattices
by: Nation, J. B., et al.
Published: (2023)

The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)

Local finiteness in varieties of MS4-algebras
by: Bezhanishvili, Guram, et al.
Published: (2023)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
by: Gardiner, Lyra A., et al.
Published: (2026)

Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Tukey morphisms between finite relations
by: Barton, Rhett, et al.
Published: (2023)

A calculus for modal compact Hausdorff spaces
by: Bezhanishvili, Nick, et al.
Published: (2024)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

On the structure of modal and tense operators on a boolean algebra
by: Bezhanishvili, Guram, et al.
Published: (2023)

Cutsets in ${\mathcal P}(X)$
by: Ginsburg, John, et al.
Published: (2025)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, et al.
Published: (2024)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
by: Carlucci, Lorenzo, et al.
Published: (2025)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)