Varieties of monadic Heyting algebras. II: Duality theory

DOI10.1023/A:1005173628262zbMath0973.06010OpenAlexW639782591MaRDI QIDQ1283133

Guram Bezhanishvili

Publication date: 5 December 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005173628262

zbMATH Keywords

representation theoremduality theorytopological semanticsKripke-type semanticsintuitionistic modal logicsaugmented Kripke framesKripke bundlesmonadic Heyting algebrasOno frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Other algebras related to logic (03G25) Intermediate logics (03B55)

Related Items

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Free and projective bimodal symmetric Gödel algebras ⋮ Monadic \(k\times j\)-rough Heyting algebras ⋮ Profinite completions and canonical extensions of Heyting algebras ⋮ Algebraic semantics and model completeness for intuitionistic public announcement logic ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ Monadic bounded residuated lattices ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ DEDEKIND COMPLETIONS OF BOUNDED ARCHIMEDEAN ℓ-ALGEBRAS ⋮ An open mapping theorem for finitely copresented Esakia spaces ⋮ Profinite Heyting algebras ⋮ Completeness for monadic fuzzy logics via functional algebras ⋮ Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic ⋮ An algebraic study of S5-modal Gödel logic ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS