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)

Review text

It is known that in the modal intuitionistic propositional calculus (MIPC), the operators \(\square\) (``it is necessary that) and \(\diamondsuit\) (``it is possible that) are independent. Consequently, the sets of theorems of the \(\square\)-free fragment of MIPC and of the \(\diamondsuit\)-free fragment of MIPC are different. The \(Q\)-Heyting algebras introduced in this paper are meant for algebraically studying the \(\square\)-free fragment of MIPC. Particularly, the paper is devoted to the study of the important subvariety of linear \(Q\)-Heyting algebras. Subdirectly irreducible members of this variety are determined and equational bases for some subvarieties are given. The main tool used in the paper is the Priestley duality.

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)