Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica, Vol 76, No 2 (2022)

Transitivity of implicative aBE algebras

Denis Zelent

Abstract


We prove that every implicative aBE algebra satisfies the transitivity property. This means that every implicative aBE algebra is a Tarski algebra, and thus is also a commutative BCK algebra.