On implication in MV-algebras (Q873745)

The author observes that weak implication algebras are just the duals of commutative BCK-algebras. Thus most of the results of \textit{I. Chajda, R. Halas} and \textit{J. Kühr} [``Implication in MV-algeras'', Algebra Univers. 52, 377--382 (2004; Zbl 1097.06011)] follow immediately from the facts that a bounded commutative BCK-algebra possesses a natural upper semilattice structure and that the class of MV-algebras is definitionally equivalent to the class of bounded commutative BCK-algebras.