B-frame duality
From MaRDI portal
Publication:2689804
DOI10.1016/j.apal.2023.103245OpenAlexW4318275221MaRDI QIDQ2689804
Publication date: 14 March 2023
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2023.103245
Complete lattices, completions (06B23) Heyting algebras (lattice-theoretic aspects) (06D20) Representation theory of lattices (06B15) Subsystems of classical logic (including intuitionistic logic) (03B20) Frames and locales, pointfree topology, Stone duality (18F70)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Distributive envelopes and topological duality for lattices via canonical extensions.
- On the modal logic of subset and superset: tense logic over Medvedev frames
- Generalized Kripke frames
- Profinite Heyting algebras
- Set theory. An introduction to independence proofs
- From worlds to possibilities
- A topological representation of lattices
- A topological representation theory for lattices
- Stone duality for lattices
- Refutation systems in modal logic
- Propositional lax logic
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- A semantic hierarchy for intuitionistic logic
- A formalization of the propositional calculus of H-B logic
- \(\Delta_1\)-completions of a poset.
- Topological duality and lattice expansions. I: A topological construction of canonical extensions.
- Three roads to complete lattices: orders, compatibility, polarity
- Frames and Locales
- A bimodal perspective on possibility semantics
- Introduction to Boolean Algebras
- Bitopological duality for distributive lattices and Heyting algebras
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Set Theory
- Bounded distributive lattice expansions
- Generalized Kripke semantics for the Lambek-Grishin calculus
- Non-distributive logics: from semantics to meaning
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
- Stone duality for lattice expansions
- CHOICE-FREE STONE DUALITY
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Continuous Model Theory. (AM-58)
- Equational Bases and Nonmodular Lattice Varieties
- Canonical extensions and relational completeness of some substructural logics
- The Theory of Representation for Boolean Algebras
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Completely Distributive Complete Lattices
- A Subdirect-Union Representation for Completely Distributive Complete Lattices
- Splittings of a Lattice
- A Kripke semantics for the logic of Gelfand quantales
