Orthocomplete Pseudo MV-algebras

Anatolij Dvurečenskij, Omid Zahiri

Pseudo $MV$-algebras are a non-commutative generalization of $MV$-algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo $MV$-algebras. We use…