Abstract
Principal congruences of pseudocomplemented semilattices are characterized and shown to be definable. This characterization is then applied to give a new proof of the fact that the variety of pseudocomplemented semilattices has the congruence extension property.

This publication has 7 references indexed in Scilit: