Semi-De Morgan algebras (Q1914064): Difference between revisions

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.