Transitivity of implicative aBE algebras
arXiv:2306.12427 · doi:10.17951/a.2022.76.2.55-58
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.