Solvable BCK-Algebras

Solvable BCK-Algebras

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.

___

  • [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.