Abstract
In this paper, the notions of commutators and pseudo commutators of elements (subsets) of a BCI-algebra are introduced and some properties are given. The concept of solvable BCI-algebras are also discussed and their properties are investigated. It is proved that the class of solvable BCI-algebras is closed under sub-algebra, cartesian product and inverse image operations.
Get full access to this article
View all access options for this article.
References
1.
Arai
Y.
,
Iséki
K.
and
Tanaka
S.
, Characterizations of BC, BC -algebra , Proc Japan Acad 42 (1966 ), 105 –107 .
2.
Arai
Y.
and
Iséki
K.
, On axiom systems of propositional calculi XIV , Proc Japan Academy 42 (1966 ), 19 –22 .
3.
Iséki
K.
, On BCI -algebras , Math Sem Notes 8 (1980 ), 125 –130 .
4.
Iséki
K.
and
Tanaka
S.
, An introduction to theory of BCK -algebras , Math Japon 23 (1978 ), 1 –26 .
5.
Iséki
K.
, Some properties of BCK -algebras , Math Sem Notes 2 (1974 ), 361 –366 .
6.
Iséki
K.
, An algebras related with a propositional calculus , Math Japon 42 (1966 ), 26 –29 .
7.
Meng
J.
and
Jun
Y.B.
, BCK-algebras , Kyung Moon Sa Co. , Seoul, Korea , 1994 .
8.
Najafi
A.
, Pseudo-Commutators in BCK -algebras , Pure Mathematical Sciences 2 (2013 ), 29 –32 .
9.
Najafi
A.
and
Borumand
A.
, Saeid, Solvable BCK -algebras , Cankaya University Journal of Science and Engineering 11 (2014 ), 19 –28 .