Several Classes of BCK-algebras and their Properties
Tao Sun, Dahai Hu, Xiquan Liang (2007)
Formalized Mathematics
Similarity:
In this article the general theory of Commutative BCK-algebras and BCI-algebras and several classes of BCK-algebras are given according to [2].