Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices
We illustrate by classes of examples the close connections existing between pseudo-MV algebras, on the one hand, and pseudo-BL algebras and divisible bounded non-commutative residuated lattices, on the other hand. We use equivalent definitions of these algebras, as particular cases of pseudo-BCK algebras. We analyse the strongness, the pseudo-involutive center and the filters for each example.
pseudo-mv algebra pseudo-bl algebra divisible bounded non-commutative residuated lattice pseudo-bck algebra pseudo-wajsberg algebra pseudo-hjek(pp) algebra divisible bounded pseudo-bck(pp) lattice