Abstracts of A^3 Abstract Algebra and Algorithms Conference
Sprache des Tagungstitel:
We introduce equality algebras. Equality algebras have two connectives, a meet operation and an equivalence, and a constant 1. We define a closure operator and prove the term equivalence of the closed algebras (the so-called equivalential equality algebras) and BCK-meet-semilattices. This leads to a quite general generalization of the result of Kabzin ?ski and Wron ?ski, namely, we obtain an equational characterization for the equivalence operation of BCK-meet-semilattices.