On a Generalization of Pseudo MV-Algebras Quasi-matrix Logic
Jan Kühr
Pseudo MV-algebras are a non-commutative version of MV-algebras. In the paper, we regard pseudo MV-algebras as certain bounded dually residuated lattices (called DRl-monoids) satisfying simple additional identities and study (unbounded) DRl-monoids that fulfil these identities. We focus especially the closed ideals (convex subalgebras) of such “unbounded” pseudo MV-algebras.