On the variety of equality algebras

Abstract

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… (More)
DOI: 10.2991/eusflat.2011.1

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.