TY - GEN
T1 - On the variety of equality algebras
AU - Jenei, Sándor
AU - Kóródi, László
PY - 2011
Y1 - 2011
N2 - 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 va- riety of equality algebras is a 1-regular, arithmetic variety.
AB - 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 va- riety of equality algebras is a 1-regular, arithmetic variety.
UR - https://www.scopus.com/pages/publications/84871998925
U2 - 10.2991/eusflat.2011.1
DO - 10.2991/eusflat.2011.1
M3 - Conference proceedings
SN - 9789078677000
T3 - Proceedings of EUSFLAT 2011
SP - 153
EP - 155
BT - Proceedings of the 7th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2011 and French Days on Fuzzy Logic and Applications, LFA 2011
ER -