On the Adjoint Monoids of Implicative BCK-algebras

摘要

We give some semigroup characterizations for implicative BCK-algebras, and prove that the adjoint semigroups of implicative BCK-algebras are residualed semigroups.