-
[1] C. Bărbăcioru, Positive implicative BCK-algebras, Mathematica Japonica 36 (1967), pp. 11–59.
-
[2] R. A. Borzooei, S. Khosravi Shoar, Implication Algebras are Equivalent to the Dual Implicative BCK-algebras, Scientiae Mathematicae Japonicae 633 (2006), pp. 429–431.
-
[3] R. A. Borzooei, S. Khosravi Shoar, R. Ameri, Some new filters in MTL-algebras, Fuzzy Sets and Systems 187(1) (2012), pp. 92–102.
-
[4] B. A. Davey, H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, 1990, 2002.
-
[5] G. Grätzer, General Lattice Theory, Academic Press, 1978.
-
[6] Y. Huang, BCI-algebras, Science Press, 2006.
-
[7] Y. Huang, On involutory BCK-algebras, Soochow Journal of Mathematics 32(1) (2006), pp. 51–57.
-
[8] Y. Imai, K. Iséki, On axioms systems of propositional calculi XIV, Proceedings of the Japan Academy 42 (1966), pp. 19–22.
-
[9] K. Iséki, BCK-algebras with condition (S), Mathematica Japonica 24 (1979), pp. 107–119.
-
[10] K. lséki, On positive implicative BCK-algebras with condition (S), Mathematica Japonica 24 (1979), pp. 107–119.