[1] W. A. Dudek, Finite BCK-algebras are solvable, Communications of the Korean Mathematical
Society, 31(2) (2016), 261–262.
[2] Y. Imai, K. Iseki, On axiom systems of propositional calculi XIV, Proceedings of the Japan
Academy, 42 (1966), 19–22.
[3] K. Iseki, An algebras related with a propositional calculus, Mathematica Japonica, 42 (1966),
26–29.
[4] K. Iseki, BCK-algebras, Mathematics Seminar Notes, 4 (1976), 77–86.
[5] K. Iseki, S. Tanaka, A. Rosenfeld, An introduction to theory of BCK-algebras, Mathematica
Japonica, 23 (1978), 1–26.
[6] Y.B. Jun, X.L. Xin, Fuzzy hyper BCK-ideals of hyper BCK-algebras, Scientiae Mathematicae
Japonicae, 53(2) (2001), 353–360.
[7] Y.B. Jun, M.M. Zahedi, X.L. Xin, R.A. Borzoei, On hyper BCK-algebras, Italian Journal of
Pure and Applied Mathematics, 8 (2000), 127–136.
[8] E. Mohammadzadeh, R.A. Borzooei, Engel, nilpotent and solvable BCI-algebra, Analele stiintifice
ale Universitatii Ovidius Constanta, 27(1) (2019), 169–192.
[9] A. Najafi, A. Borumand Saeid, E. Elami, Commutators in BCI-algebras, Journal of Intelligent
and Fuzzy Systems, 31 (2016), 357–366.
[10] H. Yisheng, BCI-algebra, Science Pess, China, 2003.