Remarks on pseudo MV-algebras
Discussiones Mathematicae - General Algebra and Applications (2009)
- Volume: 29, Issue: 1, page 5-19
- ISSN: 1509-9415
Access Full Article
topAbstract
topHow to cite
topIvan Chajda, and Miroslav Kolařík. "Remarks on pseudo MV-algebras." Discussiones Mathematicae - General Algebra and Applications 29.1 (2009): 5-19. <http://eudml.org/doc/276918>.
@article{IvanChajda2009,
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.},
author = {Ivan Chajda, Miroslav Kolařík},
journal = {Discussiones Mathematicae - General Algebra and Applications},
keywords = {pseudo MV-algebra; action function; guard function; difference functions; Cayley theorem; difference function},
language = {eng},
number = {1},
pages = {5-19},
title = {Remarks on pseudo MV-algebras},
url = {http://eudml.org/doc/276918},
volume = {29},
year = {2009},
}
TY - JOUR
AU - Ivan Chajda
AU - Miroslav Kolařík
TI - Remarks on pseudo MV-algebras
JO - Discussiones Mathematicae - General Algebra and Applications
PY - 2009
VL - 29
IS - 1
SP - 5
EP - 19
AB - 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.
LA - eng
KW - pseudo MV-algebra; action function; guard function; difference functions; Cayley theorem; difference function
UR - http://eudml.org/doc/276918
ER -
References
top- [1] S.L. Bloom, Z. Ésik and E. Manes, A Cayley theorem for Boolean algebras, Amer. Math. Monthly 97 (1990), 831-833. Zbl0749.08002
- [2] I. Chajda, A representation of the algebra of quasiordered logic by binary functions, Demonstratio Mathem. 27 (1994), 601-607. Zbl0826.06004
- [4] I. Chajda and H. Länger, Action algebras, Italian J. of Pure Appl. Mathem., submitted. Zbl1266.06010
- [5] I. Chajda and J. Kühr, Pseudo MV-algebras and meet-semilattices with sectionally antitone permutations, Math. Slovaca 56 (2006), 275-288. Zbl1141.06002
- [6] A. Dvurečenskij, Pseudo MV-algebras are intervals in l-groups, J. Aust. Math. Soc. 72 (3) (2002), 427-445. Zbl1027.06014
- [7] N. Galatos, P. Jipsen, T. Kowalski and H. Ono, Residuated Lattices, An Algebraic Glimpse at Substructural Logics, Elsevier 2007. Zbl1171.03001
- [8] G. Georgescu and A. Iorgelescu, Pseudo MV-algebras, Multiple Valued Log. 6 (2001), 95-135.
- [9] A.M.W Glass and W.C. Holland, Lattice-Ordered Groups, Kluwer Acad. Publ., Dordrecht-Boston-London 1989. Zbl0705.06001
- [10] P. Jipsen and C. Tsinakis, A survey of Residuated Lattices, Ordered Agebraic Structures (Martinez J., editor), Kluwer Academic Publishers, Dordrecht, 2002, 19-56. Zbl1070.06005
- [11] J. Kühr and F. Švrček, Operators on unital l-groups, preprint, 2007.
- [12] J. Rachůnek, A non-commutative generalization of MV-algebras, Czechoslovak Math. J. 52 (2002), 255-273. Zbl1012.06012
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.