Semi-De Morgan algebras
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.
pseudocomplemented distributive lattices
scientific article; zbMATH DE number 883888
scientific article