Linear Heyting algebras with a quantifier

DOI10.1016/S0168-0072(00)00054-3zbMath0988.06006WikidataQ126528188 ScholiaQ126528188MaRDI QIDQ5935999

Laura Rueda

Publication date: 10 July 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Priestley dualityvarietyequational baseslinear \(Q\)-Heyting algebrasmodal intuitionistic propositional calculussubvarieties

Mathematics Subject Classification ID

Lattices of varieties (08B15) Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Cylindric and polyadic algebras; relation algebras (03G15) Subdirect products and subdirect irreducibility (08B26)

Related Items

Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic ⋮ Hilbert algebras with a modal operator \(\diamondsuit\)

Cites Work

• Quantifiers on distributive lattices
• Equational axioms for classes of Heyting algebras
• Quasivarities of distributive lattices with a quantifier
• Equations in the theory of \(Q\)-distributive lattices
• Varieties of monadic Heyting algebras. I
• Free \(Q\)-distributive lattices from meet semilattices
• Free \(Q\)-distributive lattices
• Equational classes of relative Stone algebras
• The subalgebra lattice of a Heyting algebra
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Boolean multiplicative closures, I
• Algebras Whose Congruence Lattices are Distributive.
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item