Abstract
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.

This publication has 4 references indexed in Scilit: