Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.05541 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)
by: Holliday, Wesley H.
Published: (2022)
Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
Induced orthogonality in semilattices with 0 and in pseudocomplemented lattices and posets
by: Chajda, Ivan, et al.
Published: (2024)
by: Chajda, Ivan, et al.
Published: (2024)
Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Preconditionals
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)
by: Kavvos, G. A.
Published: (2024)
Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)
by: Sankappanavar, Hanamantagouda P.
Published: (2025)
Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)
by: Kavvos, G. A.
Published: (2024)
Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)
by: Kowalski, Tomasz, et al.
Published: (2024)
Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)
by: Carai, Luca
Published: (2024)
Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)
by: Ganchev, Hristo, et al.
Published: (2026)
Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)
by: Britz, Cecelia, et al.
Published: (2024)
Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)
by: Fornasiere, Damiano, et al.
Published: (2022)
Unorthodox Algebras and their associated Unorthodox Logics
by: Sankappanavar, Hanamantagouda P.
Published: (2025)
by: Sankappanavar, Hanamantagouda P.
Published: (2025)
Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)
by: Cornejo, Juan M., et al.
Published: (2025)
On the structure of modal and tense operators on a boolean algebra
by: Bezhanishvili, Guram, et al.
Published: (2023)
by: Bezhanishvili, Guram, et al.
Published: (2023)
Degree of Satisfiability in Heyting Algebras
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)
Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)
by: Kocsis, Zoltan A.
Published: (2022)
Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)
by: Li, Ang
Published: (2024)
An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)
by: Bazhenov, Nikolay A., et al.
Published: (2026)
Properties of the symmetric difference in lattices with complementation
by: Cenker, Václav, et al.
Published: (2025)
by: Cenker, Václav, et al.
Published: (2025)
The variety of complemented lattices where the Sasaki operations form an adjoint pair
by: Cenker, Václav, et al.
Published: (2024)
by: Cenker, Václav, et al.
Published: (2024)
Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)
by: Kowalski, Tomasz, et al.
Published: (2024)
Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)
by: Knudstorp, Søren Brinck
Published: (2025)
The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)
by: Rump, W., et al.
Published: (2022)
Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)
by: Kowalski, Tomasz, et al.
Published: (2024)
Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)
by: Ye, Lingyuan
Published: (2026)
Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)
by: Wołoszyn, Wojciech Aleksander
Published: (2026)
An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)
by: Coquand, Thierry, et al.
Published: (2017)
On the equational theory of finite modular lattices
by: Herrmann, Christian
Published: (2024)
by: Herrmann, Christian
Published: (2024)
Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)
by: De Domenico, Andrea, et al.
Published: (2022)
An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)
by: Jibladze, Mamuka, et al.
Published: (2024)
Colimits of Heyting Algebras through Esakia Duality
by: Almeida, Rodrigo Nicolau
Published: (2024)
by: Almeida, Rodrigo Nicolau
Published: (2024)
Forking in valued fields and related structures
by: Hossain, Akash
Published: (2024)
by: Hossain, Akash
Published: (2024)
Rational Lukasiewicz logic and DMV-algebras
by: Gerla, Brunella
Published: (2012)
by: Gerla, Brunella
Published: (2012)
Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)
by: Sipos, Andrei
Published: (2023)
Uniform locales and their constructive aspects
by: Manuell, Graham
Published: (2021)
by: Manuell, Graham
Published: (2021)
On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)
by: Mancini, Manuel, et al.
Published: (2025)
Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)
by: Chajda, Ivan, et al.
Published: (2024)