Abstract
We deal with unbounded dually residuated lattices that generalize pseudo MV-algebras in such a way that every principal order-ideal is a pseudo MV-algebra. We describe the connections of these generalized pseudo MV-algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo MV-algebra A by means of the positive cone of a suitable ℓ-group G A . We prove that the lattice of all (normal) ideals of A and the lattice of all (normal) convex ℓ-subgroups of G A are isomorphic. We also introduce the concept of Archimedeanness and show that every Archimedean generalized pseudo MV-algebra is commutative.
Similar content being viewed by others
References
M. Anderson and T. Feil: Lattice-Ordered Groups (An Introduction). D. Reidel, Dordrecht, 1988.
P. Bahls, J. Cole, N. Galatos, P. Jipsen and C. Tsinakis: Cancellative residuated lattices. Algebra Univers. 50 (2003), 83–106.
A. Bigard, K. Keimel and S. Wolfenstein: Groupes et Anneaux Réticulés. Springer, Berlin, 1977.
R. Cignoli, I. M. L. D’Ottaviano and D. Mundici: Algebraic Foundations of Many-Valued Reasoning. Kluwer Acad. Publ., Dordrecht, 2000.
A. Dvurečenskij: Pseudo MV-algebras are intervals in ℓ-groups. J. Austral. Math. Soc. (Ser. A) 72 (2002), 427–445.
A. Dvurečenskij and S. Pulmannová: New Trends in Quantum Structures. Kluwer Acad. Publ., Dordrecht, 2000.
A. Dvurečenskij and J. Rachğnek: Probabilistic averaging in bounded Rℓ-monoids. Semi-group Forum 72 (2006), 191–206.
A. Dvurečenskij and T. Vetterlein: Pseudo-effect algebras I. Basic properties. Internat. J. Theor. Phys. 40 (2001), 685–701.
A. Dvurečenskij and T. Vetterlein: Pseudo-effect algebras II. Group representations. Internat. J. Theor. Phys. 40 (2001), 703–726.
A. Dvurečenskij and T. Vetterlein: Generalized pseudo-effect algebras. In: Lectures on Soft Computing and Fuzzy Logic (A. Di Nola, G. Gerla, eds.), Springer, Berlin, 2001, pp. 89–111.
N. Galatos and C. Tsinakis: Generalized MV-algebras. J. Algebra 283 (2005), 254–291.
G. Georgescu and A. Iorgulescu: Pseudo-MV algebras. Mult.-Valued Log. 6 (2001), 95–135.
G. Georgescu, L. Leuştean and V. Preoteasa: Pseudo-hoops. J. Mult.-Val. Log. Soft Comput. 11 (2005), 153–184.
A. M. W. Glass: Partially Ordered Groups. World Scientific, Singapore, 1999.
P. Hájek: Observations on non-commutative fuzzy logic. Soft Comput. 8 (2003), 38–43.
A. Iorgulescu: Classes of pseudo-BCK(pP) lattices. Preprint.
P. Jipsen and C. Tsinakis: A survey of residuated lattices. In: Ordered Algebraic Structures (J. Martines, ed.), Kluwer Acad. Publ., Dordrecht, 2002, pp. 19–56.
J. Kühr: Ideals of noncommutative DRℓ-monoids. Czech. Math. J. 55 (2005), 97–111.
J. Kühr: Finite-valued dually residuated lattice-ordered monoids. Math. Slovaca 56 (2006), 397–408.
J. Kühr: On a generalization of pseudo MV-algebras. J. Mult.-Val. Log. Soft Comput 12 (2006), 373–389.
T. Kovář: General Theory of Dually Residuated Lattice Ordered Monoids. Ph.D. thesis, Palacký Univ., Olomouc, 1996.
J. Martinez: Archimedean lattices.. Algebra Univers. 3 (1973), 247–260.
D. Mundici: Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65 (1986), 15–63.
J. Rachůnek: A non-commutative generalization of MV-algebras. Czech. Math. J. 52 (2002), 255–273.
J. Rachůnek: Prime spectra of non-commutative generalizations of MV-algebras. Algebra Univers. 48 (2002), 151–169.
K. L. N. Swamy: Dually residuated lattice ordered semigroups. Math. Ann. 159 (1965), 105–114.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the Research and Development Council of the Czech Govenrment via the project MSM6198959214.
Rights and permissions
About this article
Cite this article
Kühr, J. Generalizations of pseudo MV-algebras and generalized pseudo effect algebras. Czech Math J 58, 395–415 (2008). https://doi.org/10.1007/s10587-008-0023-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10587-008-0023-x