Annihilators on weakly standard BCC-algebras.
Congruence kernels of orthoimplication algebras.
On schemes for congruence distributivity
We present diagrammatic schemes characterizing congruence 3-permutable and distributive algebras. We show that a congruence 3-permutable algebra is congruence meetsemidistributive if and only if it is distributive. We characterize varieties of algebras satisfying the so-called triangular scheme by means of a Maltsev-type condition.
Page 1