Archive for Mathematical Logic 45 (8):947-981 (2006)

Authors
Andrei Popescu
Politehnica University of Bucharest
Abstract
We 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 infinitely 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. We 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 Γ construction is also analyzed
Keywords n-Nuanced MV-algebra  Łukasiewicz–Moisil algebra   n-Nuanced ordered group
Categories (categorize this paper)
DOI 10.1007/s00153-006-0020-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,740
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Mathematical Logic.J. Donald Monk - 1976 - Springer Verlag.
Fuzzy Sets.Lofti A. Zadeh - 1965 - Information and Control 8 (1):338--53.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On Łukasiewicz-Moisil Algebras of Fuzzy Sets.Sergiu Rudeanu - 1993 - Studia Logica 52 (1):95 - 111.
Free Łukasiewicz Implication Algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Monadic GMV-Algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Representation and Extension of States on MV-Algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
Pavelka-Style Completeness in Expansions of Łukasiewicz Logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
Partial Algebras for Łukasiewicz Logics and its Extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
On the Structure of Linearly Ordered Pseudo-BCK-Algebras.Anatolij Dvurečenskij & Jan Kühr - 2009 - Archive for Mathematical Logic 48 (8):771-791.

Analytics

Added to PP index
2013-11-23

Total views
21 ( #522,099 of 2,462,873 )

Recent downloads (6 months)
1 ( #449,363 of 2,462,873 )

How can I increase my downloads?

Downloads

My notes