Varieties of monadic Heyting algebras. I

DOI10.1023/A:1005073905902zbMath0964.06008OpenAlexW1586446371MaRDI QIDQ1580648

Guram Bezhanishvili

Publication date: 19 July 2001

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

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

zbMATH Keywords

splittingssuperintuitionistic logicsintuitionistic modal logicmonadic filtersmonadic idealsrelatively complete subalgebrasvarieties of monadic Heyting algebras

Mathematics Subject Classification ID

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

Related Items (30)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Characterization of monadic BL-algebras by state operators ⋮ Monadic \(k\times j\)-rough Heyting algebras ⋮ Monadic classes of quantum B-algebras ⋮ Characteristic formulas of partial Heyting algebras ⋮ One-variable fragments of intermediate logics over linear frames ⋮ 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 BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic ⋮ Monadic bounded residuated lattices ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ A note on admissible rules and the disjunction property in intermediate logics ⋮ Monadic bounded commutative residuated \(\ell\)-monoids ⋮ An open mapping theorem for finitely copresented Esakia spaces ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Heyting algebras with Boolean operators for rough sets and information retrieval applications ⋮ Linear Heyting algebras with a quantifier ⋮ Completeness for monadic fuzzy logics via functional algebras ⋮ Monadic bounded hoops ⋮ Monadic pseudo BE-algebras ⋮ Mathematics of Public Announcements ⋮ Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic ⋮ An algebraic study of S5-modal Gödel logic ⋮ Monadic pseudo-equality algebras ⋮ Quantifiers on L-algebras ⋮ Hilbert algebras with a modal operator \(\diamondsuit\) ⋮ Quantum B-algebras with involutions ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS

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