Principal congruences of pseudocomplemented distributive lattices
H. Lakser · Proceedings of the American Mathematical Society · 1973
Principal congruences of pseudocomplemented distributive lattices are characterized. This characterization is used to give a new proof of the congruence extension property and to show that the meet of two principal congruences is always principal in an equational class of pseudocomplemented distributive lattices if and only if the class is a subclass of the class of Stone algebras.