Solvable BCK-Algebras

Year 2014, Volume: 11 Issue: 2, - , 01.11.2014

A. Najafi A.Borumand Saeid

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] W. A. Dudek, On BCC-algebras, Logique et Analyse, 129-130 (1990), 103-111.
• [2] W. A. Dudek, X. H. Zhang, Initial segments in BCC-algebras, Math Moravica 4 (2000), 29-37.
• [3] Y. Imai, K. Iseki, On axiom systems of propositional calculi XIV, Proc. Japan Academy, 42 (1966), 19-22.
• [4] K. Iseki, BCK-algebras, Math. Seminar Notes, 4 (1976), 77-86.
• [5] K. Iseki, On ideals in BCK-algebras, Math. Seminar Notes, 3 (1975), 1-12.
• [6] K. Iseki, On finite BCK-algebras, Math. Japon, 25 (1986), 225-229.
• [7] K. Iseki, An algebras related with a propositional calculus, Math. Japon, 42 (1966), 26-29.
• [8] K. Iseki, S. Tanaka, An introduction to theory of BCK-algebras, Math. Japon, 23 (1978), 1-26.
• [9] J. Meng, Y. B. Jun, BCK-algebras, Kyung Moon Sa Co. Seoul, Korea, (1994).
• [10] A. Najafi, Pseudo-Commutators in BCK-algebras, Pure Mathematical Sciences, 2(1), (2013), 29-32.