On a generalization of pseudo MV-algebras
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.
pseudo mv-algebra closed ideal drl-nonoid complete distributivity