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

DOI10.1016/j.apal.2009.07.002zbMath1225.03019OpenAlexW2023525230MaRDI QIDQ636264

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) Heyting algebras (lattice-theoretic aspects) (06D20) Intermediate logics (03B55)

Related Items (6)

Fatal Heyting algebras and forcing persistent sentences ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Modal translation of substructural logics ⋮ Unnamed Item ⋮ On the Blok-Esakia Theorem

Cites Work

• Modality and possibility in some intuitionistic modal logics
• On some intuitionistic modal logics
• On logics with coimplication
• Varieties of monadic Heyting algebras. II: Duality theory
• Formal systems for modal operators on locales
• Varieties of monadic Heyting algebras. I
• Varieties of monadic Heyting algebras. III
• The algebra of topology
• Using the Universal Modality: Gains and Questions
• « Everywhere » and « here »
• MIPC as the formalisation of an intuitionist concept of modality
• Some relational systems and the associated topological spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Glivenko type theorems for intuitionistic modal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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