Distributive Lattices with a Negation Operator

DOI10.1002/malq.19990450206zbMath0927.06008OpenAlexW2039928244MaRDI QIDQ4243912

Sergio Arturo Celani

Publication date: 13 December 1999

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19990450206

zbMATH Keywords

congruencesdistributive latticePriestley spacesubalgebrastopological dualitynegation operatorquasi-Stone algebras

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05) Lattices and duality (06D50) Pseudocomplemented lattices (06D15)

Related Items (7)

Polarity semantics for negation as a modal operator ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ A duality for two-sorted lattices ⋮ Subordinations on bounded distributive lattices ⋮ Semi De Morgan logic properly displayed ⋮ Unnamed Item ⋮ Weak-quasi-Stone algebras

Cites Work

• Unnamed Item
• Remarks on Priestley duality for distributive lattices
• Quantifiers on distributive lattices
• Distributive lattices with an operator
• Varieties of complex algebras
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Stone lattices: a topological approach
• Quasi‐Stone algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces

This page was built for publication: Distributive Lattices with a Negation Operator