Title: Algebras of logic as BCK algebras
Subjects: Commutative algebra, Noncommutative algebras, Algebraic logic