An algebraic treatment of logical equivalence

Description

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.

Period	15 Aug 2011
Event title	Abstracts of A^3 Abstract Algebra and Algorithms Conference
Event type	Conference
Location	HungaryShow on map