The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem

DOI10.1016/J.APAL.2009.07.002MaRDI QIDQ636264zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili

Publication date 26 August 2011

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.2009.07.002

zbMATH Keywords

Heyting algebraBlok-Esakia theoremuniversal modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• scientific article; zbMATH DE number 1735879
• Complexity of the universal theory of modal algebras
• scientific article; zbMATH DE number 4035783
• Bi-Heyting algebras, toposes and modalities
• scientific article; zbMATH DE number 3561422
• scientific article; zbMATH DE number 1735914
• scientific article; zbMATH DE number 2015279
• An extension algebra and the modal system
• Semisimple varieties of modal algebras

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 4139714 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3677799 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3564971 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• scientific article; zbMATH DE number 1431908 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Formal systems for modal operators on locales
• Glivenko type theorems for intuitionistic modal logics
• MIPC as the formalisation of an intuitionist concept of modality
• Modality and possibility in some intuitionistic modal logics
• On logics with coimplication
• On some intuitionistic modal logics
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology
• Using the Universal Modality: Gains and Questions
• Varieties of monadic Heyting algebras. I
• Varieties of monadic Heyting algebras. II: Duality theory
• Varieties of monadic Heyting algebras. III
• « Everywhere » and « here »

Cited in

(10)

• Projective algebras and primitive subquasivarieties in varieties with factor congruences
• Fatal Heyting algebras and forcing persistent sentences
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Sahlqvist via translation
• On the Blok-Esakia theorem
• What is the upper part of the lattice of bimodal logics?
• Modal translation of substructural logics
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• Interconnection of the lattices of extensions of four logics
• Modes, modals, and barycentric algebras: a brief survey and an additivity theorem

This page was built for publication: The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636264)