Transitivity of implicative aBE algebras
Rings and Algebras
2023-06-23 v1 Logic
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.
Cite
@article{arxiv.2306.12427,
title = {Transitivity of implicative aBE algebras},
author = {Denis Zelent},
journal= {arXiv preprint arXiv:2306.12427},
year = {2023}
}