Varieties of monadic Heyting algebras. III

DOI10.1023/A:1005285631357zbMath0980.06007OpenAlexW3041386822MaRDI QIDQ1975163

Guram Bezhanishvili

Publication date: 10 March 2002

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

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

zbMATH Keywords

splittingsintuitionistic modal logicKripke bundlesmonadic filtersmonadic idealsrelatively complete subalgebrascritical varietieslattice of all varieties of monadic Heyting algebrastopological augmented Kripke frames

Mathematics Subject Classification ID

Lattices of varieties (08B15) Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Varieties of lattices (06B20)

Related Items (9)

Epimorphisms in varieties of residuated structures ⋮ 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 ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ Completeness for monadic fuzzy logics via functional algebras ⋮ Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

This page was built for publication: Varieties of monadic Heyting algebras. III