B-frame duality
From MaRDI portal
Publication:2689804
DOI10.1016/J.APAL.2023.103245OpenAlexW4318275221MaRDI QIDQ2689804FDOQ2689804
Authors: Guillaume Massas 
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
Recommendations
- A frame-theoretic perspective on Esakia duality
- The duality between algebraic posets and bialgebraic frames: a lattice theoretic perspective
- A relational semantics for the logic of bounded lattices
- Completeness theorems via the double dual functor
- Duality for lattice-ordered algebras and for normal algebraizable logics
Subsystems of classical logic (including intuitionistic logic) (03B20) Representation theory of lattices (06B15) Complete lattices, completions (06B23) Heyting algebras (lattice-theoretic aspects) (06D20) Frames and locales, pointfree topology, Stone duality (18F70)
Cites Work
- Title not available (Why is that?)
- Set theory. An introduction to independence proofs
- A topological representation theory for lattices
- Stone duality for lattices
- Frames and Locales
- Title not available (Why is that?)
- Set Theory
- Title not available (Why is that?)
- The Theory of Representation for Boolean Algebras
- Title not available (Why is that?)
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Title not available (Why is that?)
- Introduction to Boolean Algebras
- Completely Distributive Complete Lattices
- A Subdirect-Union Representation for Completely Distributive Complete Lattices
- Title not available (Why is that?)
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Bounded distributive lattice expansions
- Canonical extensions and relational completeness of some substructural logics
- Generalized Kripke frames
- A formalization of the propositional calculus of H-B logic
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- Equational Bases and Nonmodular Lattice Varieties
- Duality for lattice-ordered algebras and for normal algebraizable logics
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Profinite Heyting algebras
- Propositional lax logic
- Bitopological duality for distributive lattices and Heyting algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Continuous Model Theory. (AM-58)
- Title not available (Why is that?)
- A topological representation of lattices
- \(\Delta_1\)-completions of a poset.
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Refutation systems in modal logic
- Title not available (Why is that?)
- On the modal logic of subset and superset: tense logic over Medvedev frames
- Topological duality and lattice expansions. I: A topological construction of canonical extensions.
- Title not available (Why is that?)
- Splittings of a Lattice
- Partiality and adjointness in modal logic
- A Kripke semantics for the logic of Gelfand quantales
- From worlds to possibilities
- Title not available (Why is that?)
- A semantic hierarchy for intuitionistic logic
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Generalized Kripke semantics for the Lambek-Grishin calculus
- Non-distributive logics: from semantics to meaning
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- A bimodal perspective on possibility semantics
- Locales, nuclei, and Dragalin frames
- Choice-free Stone duality
- Stone duality for lattice expansions
- Three roads to complete lattices: orders, compatibility, polarity
- Title not available (Why is that?)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
Cited In (3)
This page was built for publication: B-frame duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2689804)
