Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9493459 | Journal of Algebra | 2005 | 38 Pages |
Abstract
We generalize the notion of an MV-algebra in the context of residuated lattices to include non-commutative and unbounded structures. We investigate a number of their properties and prove that they can be obtained from lattice-ordered groups via a truncation construction that generalizes the Chang-Mundici Î functor. This correspondence extends to a categorical equivalence that generalizes the ones established by D. Mundici and A. DvureÄenskij. The decidability of the equational theory of the variety of generalized MV-algebras follows from our analysis.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
Nikolaos Galatos, Constantine Tsinakis,