Download PDF - Remarks on pseudo MV-algebras
ArticleOriginal scientific text
Title
Remarks on pseudo MV-algebras
Authors 1, 1
Affiliations
- Department of Algebra and Geometry, Palacký University Olomouc, Tomkova 40, 779 00 Olomouc, Czech Republic
Abstract
Pseudo MV-algebras (see e.g., [4, 6, 8]) are non-commutative extension of MV-algebras. We show that every pseudo MV-algebra is isomorphic to the algebra of action functions where the binary operation is function composition, zero is x ∧ y and unit is x. Then we define the so-called difference functions in pseudo MV-algebras and show how a pseudo MV-algebra can be reconstructed by them.
Keywords
pseudo MV-algebra, action function, guard function, difference functions
Bibliography
- S.L. Bloom, Z. Ésik and E. Manes, A Cayley theorem for Boolean algebras, Amer. Math. Monthly 97 (1990), 831-833.
- I. Chajda, A representation of the algebra of quasiordered logic by binary functions, Demonstratio Mathem. 27 (1994), 601-607.
- I. Chajda and H. Länger, Action algebras, Italian J. of Pure Appl. Mathem., submitted.
- I. Chajda and J. Kühr, Pseudo MV-algebras and meet-semilattices with sectionally antitone permutations, Math. Slovaca 56 (2006), 275-288.
- A. Dvurečenskij, Pseudo MV-algebras are intervals in l-groups, J. Aust. Math. Soc. 72 (3) (2002), 427-445.
- N. Galatos, P. Jipsen, T. Kowalski and H. Ono, Residuated Lattices, An Algebraic Glimpse at Substructural Logics, Elsevier 2007.
- G. Georgescu and A. Iorgelescu, Pseudo MV-algebras, Multiple Valued Log. 6 (2001), 95-135.
- A.M.W Glass and W.C. Holland, Lattice-Ordered Groups, Kluwer Acad. Publ., Dordrecht-Boston-London 1989.
- P. Jipsen and C. Tsinakis, A survey of Residuated Lattices, Ordered Agebraic Structures (Martinez J., editor), Kluwer Academic Publishers, Dordrecht, 2002, 19-56.
- J. Kühr and F. Švrček, Operators on unital l-groups, preprint, 2007.
- J. Rachůnek, A non-commutative generalization of MV-algebras, Czechoslovak Math. J. 52 (2002), 255-273.