An algebra is congruence distributive (or CD for short) if its lattice of congruence relations is a distributive lattices|distributive lattice. A class of algebras is congruence distributive if each ...

Abstract: Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An important class of ...

A distributive double p-algebra is a structure $\mathbf{L}=\langle L,\vee ,0,\wedge ,1,^*,^+\rangle$ such that $\langle L,\vee,0,\wedge,1,^*\rangle$ is a distributive p-algebras $\langle ...