Congruence Pairs of Algebras Abstracting Double Kleene and Stone algebras
Keywords:
double K_2-algebra, congruence pair, congruence permutable, congruence n-permutableAbstract
In this note, we extend the result of Beazer on congruence pairs of -algebras to the class of double
-algebras. We show that any congruence
on a double
-algebra can be represented by a congruence pair
, where
is a Kleene congruence and
is a lattice one. As an application of this result, we give a sufficient condition for a double
-algebra is congruence permutable (
-permutable).