On the variety of equality algebras
Sándor Jenei, László Kóródi · 2011
Equality algebras has recently been introduced.A subclass of equality algebras, called equivalential equality algebras is closely related to BCK-algebras with meet.We show that the variety of equality algebras has nice properties: We shall investigate their congruences and filters and prove that the variety of equality algebras is a 1-regular, arithmetic variety.