Semi-De Morgan algebras

DOI10.1007/BF00370145MaRDI QIDQ1914064zbMATH OpenFDO

Authors David Hobby

Publication date 19 January 1997

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370145

zbMATH Keywords

congruence extension propertypartial diagramsPriestley dualitypseudocomplemented distributive latticessemi-De Morgan algebrasvariety

Mathematics Subject Classification ID

Varieties of lattices (06B20) Pseudocomplemented lattices (06D15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Subdirect products and subdirect irreducibility (08B26)

Review text

The authors develop a duality for semi-De Morgan algebras built on the Priestley duality for distributive lattices. They characterize the subdirectly irreducible semi-De Morgan algebras, and develop a theory of ``partial diagrams where properties of algebras are tied to the omission of certain partial diagrams from their duals. They use this theory to give axioms for the largest variety of semi-De Morgan algebras with the congruence extension property.

Recommendations

• On a subvariety of semi-De Morgan algebras
• Semi-de Morgan algebras
• Principal congruences on semi-De Morgan algebras

Cites work

• Coproducts of De Morgan algebras
• Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility
• Distributive Lattices with a Dual Endomorphism
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3900828 (Why is no real title available?)
• scientific article; zbMATH DE number 3985476 (Why is no real title available?)
• Injectives in some small varieties of ockham algebras
• Lattices With Involution
• On a common abstraction of de Morgan algebras and Stone algebras
• On some small varieties of distributive Ockham algebras
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Semi-de Morgan algebras
• Semi-De Morgan algebras
• Subvarieties of the class of MS-algebras
• Varieties of Demi‐Pseudocomplemented Lattices

Cited in

(14)

• On a subvariety of semi-De Morgan algebras
• Sequent calculi for semi-De Morgan and De Morgan algebras
• Semi-De Morgan algebras
• Semi De Morgan logic properly displayed
• Representation of De Morgan and (semi-)Kleene lattices
• A duality for two-sorted lattices
• On the characterization of a subvariety of semi-De Morgan algebras
• Involutive Stone algebras and regular -De Morgan algebras
• Semi-de Morgan algebras
• scientific article; zbMATH DE number 1302502 (Why is no real title available?)
• scientific article; zbMATH DE number 597871 (Why is no real title available?)
• The principal join property in demi-p-lattices
• Foundations of Information and Knowledge Systems
• Demi-primal algebras

This page was built for publication: Semi-De Morgan algebras

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