B-frame duality

DOI10.1016/J.APAL.2023.103245MaRDI QIDQ2689804zbMATH OpenOpenAlexFDO

Authors Guillaume Massas

Publication date 14 March 2023

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.apal.2023.103245

zbMATH Keywords

latticesduality theoryHeyting algebrasintermediate logics

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3639591 (Why is no real title available?)
• scientific article; zbMATH DE number 2138212 (Why is no real title available?)
• scientific article; zbMATH DE number 1916522 (Why is no real title available?)
• scientific article; zbMATH DE number 7576851 (Why is no real title available?)
• scientific article; zbMATH DE number 3222132 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• A Kripke semantics for the logic of Gelfand quantales
• A Subdirect-Union Representation for Completely Distributive Complete Lattices
• A bimodal perspective on possibility semantics
• A formalization of the propositional calculus of H-B logic
• A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
• A semantic hierarchy for intuitionistic logic
• A topological representation of lattices
• A topological representation theory for lattices
• Bitopological duality for distributive lattices and Heyting algebras
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Bounded distributive lattice expansions
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Canonical extensions and relational completeness of some substructural logics
• Choice-free Stone duality
• Completely Distributive Complete Lattices
• Continuous Model Theory. (AM-58)
• Distributive envelopes and topological duality for lattices via canonical extensions.
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Equational Bases and Nonmodular Lattice Varieties
• Frames and Locales
• From worlds to possibilities
• Generalized Kripke frames
• Generalized Kripke semantics for the Lambek-Grishin calculus
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• Introduction to Boolean Algebras
• Locales, nuclei, and Dragalin frames
• Non-distributive logics: from semantics to meaning
• On the modal logic of subset and superset: tense logic over Medvedev frames
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Partiality and adjointness in modal logic
• Profinite Heyting algebras
• Propositional lax logic
• Refutation systems in modal logic
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Set Theory
• Set theory. An introduction to independence proofs
• Splittings of a Lattice
• Stone duality for lattice expansions
• Stone duality for lattices
• The Theory of Representation for Boolean Algebras
• Three roads to complete lattices: orders, compatibility, polarity
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• _1-completions of a poset.

Cited in

(3)

• scientific article; zbMATH DE number 1933206 (Why is no real title available?)
• Biframes and some of their properties
• A frame-theoretic perspective on Esakia duality

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)