Abstract
For a new class of algebras, called \({ EMV}\)-algebras, every idempotent element a determines an \({ MV}\)-algebra which is important for the structure of the \({ EMV}\)-algebra. Therefore, instead of standard homomorphisms of \({ EMV}\)-algebras, we introduce \({ EMV}\)-morphisms as a family of \({ MV}\)-homomorphisms from \({ MV}\)-algebras [0, a] into other ones. \({ EMV}\)-morphisms enable us to study categories of \({ EMV}\)-algebras where objects are \({ EMV}\)-algebras and morphisms are special classes of \({ EMV}\)-morphisms. The category is closed under product. In addition, we define free \({ EMV}\)-algebras on a set X with respect to \({ EMV}\)-morphisms. If X is finite, then a free \({ EMV}\)-algebra on X is termwise equivalent to the free \({ MV}\)-algebra on X. For an infinite set X, the same is true introducing a so-called weakly free \({ EMV}\)-algebra.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Blyth TS (2005) Lattice and ordered algebraic structures. Springer, London
Burris S, Sankappanavar HP (1981) A course in universal algebra. Springer, New York
Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:467–490
Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Springer, Dordrecht
Di Nola A, Lettieri A (1999) Equational characterization of all varieties of MV-algebras. J Algebra 221:463–474
Di Nola A, Russo C (2015) The semiring-theoretic approach to MV-algebras: a survey. Fuzzy Sets Syst 281:134–154
Dvurečenskij A (2002) Pseudo MV-algebras are intervals in \(\ell \)-groups. J Aust Math Soc 72:427–445
Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures. Kluwer Academic Publ, Dordrecht
Dvurečenskij A, Zahiri O (2017a) On \(EMV\)-algebras. http://arxiv.org/abs/1706.00571
Dvurečenskij A, Zahiri O (2017b) The Loomis–Sikorski theorem for \(EMV\)-algebras. J Aust Math Soc (to appear). http://arxiv.org/abs/1707.00270
Galatos N, Tsinakis C (2005) Generalized MV-algebras. J Algebra 283:254–291
Georgescu G, Iorgulescu A (2001) Pseudo \(MV\)-algebras. Mult Valued Log 6:193–215
Luxemburg WAJ, Zaanen AC (1971) Riesz spaces, vol 1. North-Holland Publishers Co., Amsterdam
Mac Lane S (1971) Categories for the working mathematician. Springer, New York
Mundici D (1986) Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus. J Funct Anal 65:15–63
Mundici D (2011) Advanced Łukasiewicz calculus and MV-algebras. Springer, Dordrecht
Shang Y, Lu R (2007) Semirings and pseudo MV algebras. Soft Comput 11:847–853
Stone MH (1937) Applications of the theory of Boolean rings to general topology. Trans Am Math Soc 41:375–481
Stone MH (1938) Topological representation of distributive lattices and Brouwerian logics. Časopis pro pěstování matematiky a fysiky 67:1–25
Acknowledgements
AD is thankful for the support by the Slovak Research and Development Agency under the Contract No. APVV-16-0073 and by Grants VEGA No. 2/0069/16 SAV and GAČR 15-15286S.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no conflict of interest.
Human participants
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by A. Di Nola.
About this article
Cite this article
Dvurečenskij, A., Zahiri, O. Morphisms on \({ EMV}\)-algebras and their applications. Soft Comput 22, 7519–7537 (2018). https://doi.org/10.1007/s00500-018-3039-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-018-3039-7