Remarks on pseudo MV-algebras

Ivan Chajda; Miroslav Kolařík

Discussiones Mathematicae - General Algebra and Applications (2009)

  • Volume: 29, Issue: 1, page 5-19
  • ISSN: 1509-9415

Abstract

top
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.

How to cite

top

Ivan 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. [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. [2] I. Chajda, A representation of the algebra of quasiordered logic by binary functions, Demonstratio Mathem. 27 (1994), 601-607. Zbl0826.06004
  3. [4] I. Chajda and H. Länger, Action algebras, Italian J. of Pure Appl. Mathem., submitted. Zbl1266.06010
  4. [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
  5. [6] A. Dvurečenskij, Pseudo MV-algebras are intervals in l-groups, J. Aust. Math. Soc. 72 (3) (2002), 427-445. Zbl1027.06014
  6. [7] N. Galatos, P. Jipsen, T. Kowalski and H. Ono, Residuated Lattices, An Algebraic Glimpse at Substructural Logics, Elsevier 2007. Zbl1171.03001
  7. [8] G. Georgescu and A. Iorgelescu, Pseudo MV-algebras, Multiple Valued Log. 6 (2001), 95-135. 
  8. [9] A.M.W Glass and W.C. Holland, Lattice-Ordered Groups, Kluwer Acad. Publ., Dordrecht-Boston-London 1989. Zbl0705.06001
  9. [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
  10. [11] J. Kühr and F. Švrček, Operators on unital l-groups, preprint, 2007. 
  11. [12] J. Rachůnek, A non-commutative generalization of MV-algebras, Czechoslovak Math. J. 52 (2002), 255-273. Zbl1012.06012

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.