On implicative BE algebras

Abstract

We consider some generalizations of BCK algebras (RML, BE, aBE, BE** and aBE** algebras). We investigate the property of implicativity for these algebras. We prove that for any implicative BE** algebra the commutativity property is equivalent to the property of antisymmetry and show that implicative aBE** algebras are commutative BCK algebras. We also show that the class of implicative BE** algebras is a variety.