IMPLICATION ALGEBRAS ARE EQUIVALENT TO THE DUAL IMPLICATIVE BCK-ALGEBRAS

Abstract

In this paper by considering the notion of implicative BCK-algebras, we show that the implication algebras are equivalent to the dual implicative BCK-algebras.