Congruence Regularity in Ockham Algebras With Balanced Pseudocomplementation

ABSTRACT Here, we investigate congruence regularity and congruence coherence in Ockham algebras with balanced pseudocomplementation. We show that such an algebra is congruence regular if and only if it is congruence coherent, which is the case if and only if for each congruence on , the smallest congruence that collapses is equal to , this in turn is equivalent to that is a trivalent Łukasiewicz algebra.