Congruence Lattices of Symmetric Extended De Morgan Algebras.

In this paper, we characterize the congruence lattice of a symmetric extended De Morgan algebra $$L$$ . We show that the congruence lattice of the algebra $$L$$ is a pseudocomplemented lattice, and that such a congruence lattice is a Stone lattice if and only if the lattice of the compact congruences on $$L$$ forms a complete Boolean lattice. In particular, we prove that the congruence lattice of $$L$$ is a Boolean lattice if and only if, it is a relative Stone lattice, which is the case, if and only if $$L$$ is finite. [ABSTRACT FROM AUTHOR]