zbMATH — the first resource for mathematics

On the variety of equality algebras. (English) Zbl 1254.08004
Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 24, 153-155 (2011).
Summary: Equality algebras have 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 investigate their congruences and filters and prove that the variety of equality algebras is a 1-regular, arithmetic variety.
For the entire collection see [Zbl 1226.03005].

08B10 Congruence modularity, congruence distributivity
08A30 Subalgebras, congruence relations
06F35 BCK-algebras, BCI-algebras
Full Text: DOI