×

Adjoint semigroups of BCI-algebras. (English) Zbl 0859.06016

Summary: The notion of adjoint semigroups of BCI-algebras is introduced. We prove that there is a bijection between the ideals of a BCK-algebra \(X\) and the filters of the order-adjoint semigroup \(M(X)\). Moreover, positive implicative BCK-algebras will be characterized by their adjoint semigroups.

MSC:

06F35 BCK-algebras, BCI-algebras