Implicative commutative semigroups are equivalent to a class of BCK algebras.
Implicative hyper -algebras
In this note we first define the notions of (weak, strong) implicative hyper -algebras. Then we show by examples that these notions are different. After that we state and prove some theorems which determine the relationship between these notions and (weak) hyper -ideals. Also we obtain some relations between these notions and (weak) implicative hyper -ideals. Finally, we study the implicative hyper -algebras of order 3, in particular we obtain a relationship between the positive implicative...
Implicative ideals of BCK-algebras based on the fuzzy sets and the theory of falling shadows.
Intuitionistic fuzzy ideals of BCK-algebras.