Linear Heyting algebras with a quantifier
From MaRDI portal
Publication:5935999
DOI10.1016/S0168-0072(00)00054-3zbMath0988.06006WikidataQ126528188 ScholiaQ126528188MaRDI QIDQ5935999
Publication date: 10 July 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Priestley dualityvarietyequational baseslinear \(Q\)-Heyting algebrasmodal intuitionistic propositional calculussubvarieties
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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