On -permutable and distributive at 0 varieties.
Permutability of tolerances with factor and decomposing congruences.
Restricted congruence regularity of algebras.
Congruence classes in regular varieties.
0-conditions and tolerance schemes.
Congruence kernels of orthoimplication algebras.
Kernels of tolerance relations.
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