A common generalization for MV-algebras and Łukasiewicz-Moisil algebras (Q862349): Difference between revisions

An MV-algebra is a structure \((A,\oplus ,\odot ,^{-},0,1)\), where \(\oplus \) and \(\odot \) are binary operations, \(^{-}\) is unary and \(0,1\) are constants, satisfying the following axioms: \((A,\oplus ,0)\) and \((A,\odot ,1)\) are commutative monoids; \(x\odot 0=0\) and \(x\oplus 1=1;\) \(x^{=}=x;(x\oplus y)^{-}=x^{-}\oplus y^{-};(x\odot y^{-})\oplus y=(y\odot x^{-})\oplus x.\) The scope of this paper is to introduce the notion of \(n\)-nuanced MV-algebra by performing a Łukasiewicz-Moisil nuancing construction on top of MV-algebras. These structures extend both MV-algebras and Łukasiewicz-Moisil algebras, thus unifying two important types of structures in the algebra of logic. On a logical level, \(n\)-nuanced MV-algebras amalgamate two distinct approaches to many-valuedness: that of the infinite-valued Łukasiewicz logic, more related in spirit to the fuzzy approach, and that of Moisil \(n\)-nuanced logic, which is more concerned with nuances of truth rather than truth degree. The authors study \(n\)-nuanced MV-algebras mainly from the algebraic and categorical points of view, and also consider some basic model-theoretic aspects. The relationship with a suitable notion of \(n\)-nuanced ordered group via an extension of the \(\Gamma \) construction is also analyzed.