Saved in:
| Main Authors: | Bezhanishvili, Guram, Holliday, Wesley H. |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.23464 |
| 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)
Degrees of join-distributivity via Bruns-Lakser towers
by: Bezhanishvili, G., et al.
Published: (2024)
by: Bezhanishvili, G., et al.
Published: (2024)
Preconditionals
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
by: Bezhanishvili, Guram, et al.
Published: (2022)
by: Bezhanishvili, Guram, et al.
Published: (2022)
Duality for distributive and implicative semi-lattices
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Duality Theory for Bounded Lattices: A Comparative Study
by: Bezhanishvili, Guram, et al.
Published: (2025)
by: Bezhanishvili, Guram, et al.
Published: (2025)
Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness
by: Bezhanishvili, G., et al.
Published: (2024)
by: Bezhanishvili, G., et al.
Published: (2024)
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)
Priestley perspective on pointfree topology
by: Bezhanishvili, Guram, et al.
Published: (2025)
by: Bezhanishvili, Guram, et al.
Published: (2025)
Esakia order-compactifications and locally Esakia spaces
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)
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)
What is Connectivity?
by: Plessis, Jean F. Du, et al.
Published: (2025)
by: Plessis, Jean F. Du, et al.
Published: (2025)
Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Cutsets in ${\mathcal P}(X)$
by: Ginsburg, John, et al.
Published: (2025)
by: Ginsburg, John, et al.
Published: (2025)
On the symmetry behind duality
by: Abbadini, Marco, et al.
Published: (2025)
by: Abbadini, Marco, et al.
Published: (2025)
On $\mathscr{T}$-based orthomodular dynamic algebras
by: Paseka, Jan, et al.
Published: (2026)
by: Paseka, Jan, et al.
Published: (2026)
A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)
by: Chen, Ruiyuan
Published: (2023)
Order Structures around Evolution Algebras
by: Nevado, Alejandro González
Published: (2025)
by: Nevado, Alejandro González
Published: (2025)
Maximal $d$-spectra via Priestley duality
by: Bezhanishvili, G., et al.
Published: (2025)
by: Bezhanishvili, G., et al.
Published: (2025)
On the lack of colimits in various categories arising in pointfree topology and algebraic logic
by: Abbadini, Marco, et al.
Published: (2025)
by: Abbadini, Marco, et al.
Published: (2025)
Subfitness in distributive (semi)lattices
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
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)
Some Contributions on $P_F$-frames
by: Matlabyana, Mack, et al.
Published: (2025)
by: Matlabyana, Mack, et al.
Published: (2025)
Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)
by: Britz, Cecelia, et al.
Published: (2024)
Invariants for metrisable locally compact Boolean spaces
by: Apps, Andrew B.
Published: (2025)
by: Apps, Andrew B.
Published: (2025)
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)
A Primer on Chainmails: Structures for Point-free Connectivity
by: Plessis, J. F. Du, et al.
Published: (2024)
by: Plessis, J. F. Du, et al.
Published: (2024)
Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)
by: Kavvos, G. A.
Published: (2024)
Some functor calculus on semirings
by: Biswas, Pronay, et al.
Published: (2025)
by: Biswas, Pronay, et al.
Published: (2025)
McKinsey-Tarski algebras and Raney extensions
by: Bezhanishvili, Guram, et al.
Published: (2025)
by: Bezhanishvili, Guram, et al.
Published: (2025)
Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)
by: Kavvos, G. A.
Published: (2024)
The category of topological spaces and open maps does not have products
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)
by: Incatasciato, Guillermo L., et al.
Published: (2024)
Algebraic Frames in Priestley duality
by: Bezhanishvili, G., et al.
Published: (2023)
by: Bezhanishvili, G., et al.
Published: (2023)
Left modularity and extremality for (some) infinite lattices
by: Asai, Sota, et al.
Published: (2026)
by: Asai, Sota, et al.
Published: (2026)
Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)
by: Lipparini, Paolo
Published: (2023)
On the subalgebra lattice of solvable evolution algebras
by: Ladra, Manuel, et al.
Published: (2025)
by: Ladra, Manuel, et al.
Published: (2025)
Towards Better: A motivated introduction to better-quasi-orders
by: Pequignot, Yann
Published: (2016)
by: Pequignot, Yann
Published: (2016)
Partitions of primitive Boolean spaces
by: Apps, Andrew B.
Published: (2023)
by: Apps, Andrew B.
Published: (2023)
Similar Items
-
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022) -
Degrees of join-distributivity via Bruns-Lakser towers
by: Bezhanishvili, G., et al.
Published: (2024) -
Preconditionals
by: Holliday, Wesley H.
Published: (2024) -
Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
by: Bezhanishvili, Guram, et al.
Published: (2022) -
Duality for distributive and implicative semi-lattices
by: Bezhanishvili, Guram, et al.
Published: (2024)