Displaying similar documents to “Implicative commutative semigroups are equivalent to a class of BCK algebras.”