## Generalized MV-algebras.(English)Zbl 1063.06008

The authors define a generalized MV-algebra (GMV-algebra for short) as a residuated lattice satisfying the identities $$x/((x\vee y)\setminus x)=x\vee y=(x/((x\vee y))\setminus x$$. A closure operator $$\gamma$$ on a residuated lattice $$\mathbf L$$ such that $$\gamma(a)\gamma(b)\leqq \gamma(ab)$$ for all $$a,b\in L$$ is called a nucleus on $$L$$; the image $$L_\gamma$$ of $$\gamma$$ is endowed with a residuated lattice structure $$\mathbf L_\gamma=(L,\wedge,\vee_\gamma, \circ_\gamma, \setminus, /, \gamma(e))$$, where $$\gamma(a)\vee_\gamma \gamma(b)= \gamma(a\vee b)$$ and $$\gamma(a)\circ_\gamma \gamma(b)=\gamma(ab)$$.
The fundamental result of the paper is the following theorem: A residuated lattice $$\mathbf M$$ is a GMV-algebra if and only if there are residuated lattices $$\mathbf G, \mathbf L$$, such that $$\mathbf G$$ is an $$\ell$$-group, $$\mathbf L$$ is the negative cone of an $$\ell$$-group, $$\gamma$$ is a nucleus on $$\mathbf L$$ and $$\mathbf M=\mathbf G\oplus \mathbf L_\gamma$$ (where $$\oplus$$ denotes the operation of the direct sum). As a consequence, the authors obtain a categorical equivalence that generalizes the results of Mundici and Dvurečenskij concerning the functor $$\Gamma$$. Further, they prove that the equational theory of the variety of GMV-algebras is decidable.

### MSC:

 06D35 MV-algebras 06F15 Ordered groups 03B25 Decidability of theories and sets of sentences
Full Text:

### References:

  Anderson, M.; Feil, T., Lattice-ordered groups: an introduction, (1988), Reidel Publishing Company · Zbl 0636.06008  Bahls, P.; Cole, J.; Galatos, N.; Jipsen, P.; Tsinakis, C., Cancellative residuated lattices, Algebra universalis, 50, 1, 83-106, (2003) · Zbl 1092.06012  Bigard, A.; Keimel, K.; Wolfenstein, S., Groupes at anneaux Réticulés, Lecture notes in math., vol. 608, (1977), Springer-Verlag Berlin · Zbl 0384.06022  Blount, K.; Tsinakis, C., The structure of residuated lattices, Internat. J. algebra comput., 13, 4, 437-461, (2003) · Zbl 1048.06010  Bosbach, B., Residuation groupoids, Result. math., 5, 107-122, (1982) · Zbl 0513.06007  Bosbach, B., Concerning cone algebras, Algebra universalis, 15, 58-66, (1982) · Zbl 0507.06013  Chang, C.C., Algebraic analysis of many valued logics, Trans. amer. math. soc., 88, 467-490, (1958) · Zbl 0084.00704  Cignoli, R.; D’Ottaviano, I.; Mundici, D., Algebraic foundations of many-valued reasoning, Trends in logic—studia logica library, vol. 7, (2000), Kluwer Academic Publishers Dordrecht · Zbl 0937.06009  Cole, J., Non-distributive cancellative residuated lattices, (), 205-212 · Zbl 1073.06006  Dvurečenskij, A., Pseudo MV-algebras are intervals in l-groups, J. austr. math. soc., 72, 3, 427-445, (2002) · Zbl 1027.06014  Fuchs, L., Partially ordered algebraic systems, (1963), Pergamon Press Oxford · Zbl 0137.02001  Galatos, N., The undecidability of the word problem for distributive residuated lattices, (), 231-243 · Zbl 1073.06007  N. Galatos, Minimal varieties of residuated lattices, Algebra Universalis, in press · Zbl 1082.06011  Galatos, N., Equational bases for joins of residuated-lattice varieties, Studia logica, 76, 2, 227-240, (2004) · Zbl 1068.06007  Georgescu, G.; Iorgulescu, A., Pseudo-MV algebras: a noncommutative extension of MV algebras, (), 961-968 · Zbl 0985.06007  Georgescu, G.; Iorgulescu, A., Pseudo-MV algebras, G.C. moisil memorial issue, Mult.-valued log., 6, 1-2, 95-135, (2001) · Zbl 1014.06008  Hájek, P., Metamathematics of fuzzy logic, Trends in logic—studia logica library, vol. 4, (1998), Kluwer Academic Publishers Dordrecht · Zbl 0937.03030  Hart, J.; Rafter, L.; Tsinakis, C., The structure of commutative residuated lattices, Internat. J. algebra comput., 12, 4, 509-524, (2002) · Zbl 1011.06006  Holland, W.C.; McCleary, S.H., Solvability of the word problem in free lattice-ordered groups, Houston J. math., 5, 1, 99-105, (1979) · Zbl 0387.06011  Jipsen, P.; Tsinakis, C., A survey of residuated lattices, (), 19-56 · Zbl 1070.06005  Jónsson, B., Algebras whose congruence lattices are distributive, Math. scand., 21, 110-121, (1967) · Zbl 0167.28401  Jónsson, B.; Tsinakis, C., Products of classes of residuated structures, Studia logica, 77, 2, 267-292, (2004) · Zbl 1072.06003  Mac Lane, S., Categories for the working Mathematician, Grad. texts in math., (1997), Springer · Zbl 0906.18001  Mundici, D., Interpretation of AF C*-algebras in łukasiewicz sentential calculus, J. funct. anal., 65, 1, 15-63, (1986) · Zbl 0597.46059  Rosenthal, K.I., Quantales and their applications, Pitman res. notes math. ser., (1990), Longman · Zbl 0703.06007  Schmidt, J.; Tsinakis, C., Relative pseudo-complements, join-extensions and meet-retractions, Math. Z., 157, 271-284, (1977) · Zbl 0351.06010
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.