Varieties of monadic Heyting algebras. III
From MaRDI portal
Publication:1975163
DOI10.1023/A:1005285631357zbMath0980.06007OpenAlexW3041386822MaRDI QIDQ1975163
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
splittingsintuitionistic modal logicKripke bundlesmonadic filtersmonadic idealsrelatively complete subalgebrascritical varietieslattice of all varieties of monadic Heyting algebrastopological augmented Kripke frames
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