Linear Heyting algebras with a quantifier

DOI10.1016/S0168-0072(00)00054-3MaRDI QIDQ5935999zbMATH OpenWikidataFDO

Authors Laura Rueda

Publication date 10 July 2002

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

Full work available at URL https://doi.org/10.1016/S0168-0072(00)00054-3

zbMATH Keywords

equational baseslinear \(Q\)-Heyting algebrasmodal intuitionistic propositional calculusPriestley dualitysubvarietiesvariety

Mathematics Subject Classification ID

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

Recommendations

• Varieties of monadic Heyting algebras. I
• Heyting algebras with operators
• The subvariety of Q-Heyting algebras generated by chains
• Varieties of three-valued Heyting algebras with a quantifier
• HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR

Cites work

• Algebras Whose Congruence Lattices are Distributive.
• Boolean multiplicative closures, I
• Equational axioms for classes of Heyting algebras
• Equational classes of relative Stone algebras
• Equations in the theory of \(Q\)-distributive lattices
• Free \(Q\)-distributive lattices
• Free \(Q\)-distributive lattices from meet semilattices
• scientific article; zbMATH DE number 3887755 (Why is no real title available?)
• scientific article; zbMATH DE number 3142898 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3614837 (Why is no real title available?)
• scientific article; zbMATH DE number 475200 (Why is no real title available?)
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Quantifiers on distributive lattices
• Quasivarities of distributive lattices with a quantifier
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The subalgebra lattice of a Heyting algebra
• Varieties of monadic Heyting algebras. I

Cited in

(6)

• Varieties of three-valued Heyting algebras with a quantifier
• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• Hilbert algebras with a modal operator \(\diamondsuit\)
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality
• The subvariety of Q-Heyting algebras generated by chains
• A semantical analysis of some subintuitionistic modal logics

This page was built for publication: Linear Heyting algebras with a quantifier

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5935999)