Solvable BCK-Algebras

Abstract

In this paper, the notions of derived sub-algebras and solvable BCK-algebras are introduced and some properties are given. We introduce the notion of commutators in BCK-algebras and also discuss their properties. It has been found that the sub-algebras, isomorphic image and inverse image of a solvable BCKalgebras are still solvable BCK-algebras.

Keywords

• BCK-algebras,commutators,derived sub-algebra,solvable BCK-algebras

References

1. [1] W. A. Dudek, On BCC-algebras, Logique et Analyse, 129-130 (1990), 103-111.
2. [2] W. A. Dudek, X. H. Zhang, Initial segments in BCC-algebras, Math Moravica 4 (2000), 29-37.
3. [3] Y. Imai, K. Iseki, On axiom systems of propositional calculi XIV, Proc. Japan Academy, 42 (1966), 19-22.
4. [4] K. Iseki, BCK-algebras, Math. Seminar Notes, 4 (1976), 77-86.
5. [5] K. Iseki, On ideals in BCK-algebras, Math. Seminar Notes, 3 (1975), 1-12.
6. [6] K. Iseki, On finite BCK-algebras, Math. Japon, 25 (1986), 225-229.
7. [7] K. Iseki, An algebras related with a propositional calculus, Math. Japon, 42 (1966), 26-29.
8. [8] K. Iseki, S. Tanaka, An introduction to theory of BCK-algebras, Math. Japon, 23 (1978), 1-26.

9. [9] J. Meng, Y. B. Jun, BCK-algebras, Kyung Moon Sa Co. Seoul, Korea, (1994).
10. [10] A. Najafi, Pseudo-Commutators in BCK-algebras, Pure Mathematical Sciences, 2(1), (2013), 29-32.