Equality algebras
The author introduces equality algebras. They have two connectives, a meet operation and an equivalence, and a constant. He shows that equivalential equality algebras are term-equivalent with BCK-algebras with meet. As a by-product, he obtains a quite general result, which is analogous to a result of Kabziński and Wroński.
scientific article; zbMATH DE number 6136998