Exchangeable pseudo-BI-algebras

We introduce exchangeable pseudo-BI-algebras and show that their class is a propersubclass of class pseudo-CI-algebras. Further, we define the notion of (weak) commutativepseudo-BI-algebras and prove that every weak commutative pseudo-BI-algebrais a (dual) pseudo-BH-algebra, but the converse is not true, and we prove that everyexchangeable commutative pseudo-BI-algebra is an implication algebra.

Keywords:

BI-algebra , (commutative , exchangeable) pseudo-BI-algebra