
Paraconsistent semantics for Pavelka style fuzzy sentential logic
Tsoukiàs, Alexis; Turunen, Esko; Ozturk, Meltem (2010), Paraconsistent semantics for Pavelka style fuzzy sentential logic, Fuzzy Sets and Systems, 161, 14, p. 1926-1940. http://dx.doi.org/10.1016/j.fss.2009.12.017
View/ Open
Type
Article accepté pour publication ou publiéDate
2010Journal name
Fuzzy Sets and SystemsVolume
161Number
14Publisher
Elsevier
Pages
1926-1940
Publication identifier
Metadata
Show full item recordAuthor(s)
Tsoukiàs, Alexis
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Turunen, Esko
Ozturk, Meltem
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Abstract (EN)
The root of this work is on the one hand in Belnap's four valued paraconsistent logic, and on the other hand on Pavelka's papers further developed by Turunen. We do not introduce a new non-classical logic but, based on a related study of Perny and Tsoukiás, we introduce paraconsistent semantics of Pavelka style fuzzy sentential logic. Restricted to Łukasiewicz t-norm, our approach and the approach of Perny and Tsoukiás partly overlap; the main difference lies in the interpretation of the logical connectives implication and negation. The essential mathematical tool proved in this paper is a one–one correspondence between evidence couples and evidence matrices that holds in all injective MV-algebras. Evidence couples associate to each atomic formula p two values a and b that can be interpreted as the degrees of pros and cons for p, respectively. Four values t,f,k,u, interpreted as the degrees of the truth, falsehood, contradiction and unknownness of p, respectively, can then be calculated by means of a and b and finally, the degrees of the truth, falsehood, contradiction and unknownness of any well formed formula α are available. The obtained logic is Pavelka style fuzzy sentential logic. In such an approach truth and falsehood are not each others complements. Moreover, we solve some open problems presented by Perny and Tsoukiás.Subjects / Keywords
Paraconsistent sentential logic; Mathematical fuzzy logic; MV-algebraRelated items
Showing items related by title and author.
-
Ozturk, Meltem; Tsoukiàs, Alexis (2015) Article accepté pour publication ou publié
-
Guerrand, Sylvie; Ozturk, Meltem; Tsoukiàs, Alexis (2015) Chapitre d'ouvrage
-
Ozturk, Meltem; Tsoukiàs, Alexis (2004) Communication / Conférence
-
Tsoukiàs, Alexis; Ozturk, Meltem; Vincke, Philippe (2005) Chapitre d'ouvrage
-
Tsoukiàs, Alexis; Ozturk, Meltem (2008) Article accepté pour publication ou publié