Simple and subdirectly irreducibles bounded distributive lattices with unary operators

DOI10.1155/IJMMS/2006/21835zbMath1130.06005OpenAlexW1985668809MaRDI QIDQ2469035

Sergio Arturo Celani

Publication date: 1 February 2008

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/53712

zbMATH Keywords

subdirectly irreducible algebrasmodal algebrasvarieties of distributive lattices with unary operatorsvarieties of Heyting algebras with operators

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Structure and representation theory of distributive lattices (06D05) Varieties of lattices (06B20) Subdirect products and subdirect irreducibility (08B26)

Related Items (9)

Modules with fusion and implication based over distributive lattices: representation and duality ⋮ Subdirectly irreducible algebras in one class of algebras with one operator and the main near-unanimity operation ⋮ From contact relations to modal operators, and back ⋮ The variety of modal weak Gödel algebras ⋮ Subordinations on bounded distributive lattices ⋮ Frontal operators in weak Heyting algebras ⋮ Classical modal De Morgan algebras ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Sahlqvist theorem for distributive modal logic
• Models for normal intuitionistic modal logics
• Quantifiers on distributive lattices
• Superintuitionistic companions of classical modal logics
• A new semantics for positive modal logic
• Varieties of monadic Heyting algebras. I
• Positive modal logic
• Distributive lattices with an operator
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Varieties of complex algebras
• The algebra of topology
• Heyting Algebras with Operators
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic

This page was built for publication: Simple and subdirectly irreducibles bounded distributive lattices with unary operators