Paraconsistency properties in degree-preserving fuzzy logics
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F15%3A00506967" target="_blank" >RIV/67985807:_____/15:00506967 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/67985556:_____/15:00469166
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s00500-014-1489-0" target="_blank" >http://dx.doi.org/10.1007/s00500-014-1489-0</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00500-014-1489-0" target="_blank" >10.1007/s00500-014-1489-0</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Paraconsistency properties in degree-preserving fuzzy logics
Popis výsledku v původním jazyce
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inconsistency. We also consider their expansions with additional negation connectives and first-order formalisms and study their paraconsistency properties. Finally, we compare our approach to other paraconsistent logics in the literature.
Název v anglickém jazyce
Paraconsistency properties in degree-preserving fuzzy logics
Popis výsledku anglicky
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inconsistency. We also consider their expansions with additional negation connectives and first-order formalisms and study their paraconsistency properties. Finally, we compare our approach to other paraconsistent logics in the literature.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Soft Computing
ISSN
1432-7643
e-ISSN
—
Svazek periodika
19
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
16
Strana od-do
531-546
Kód UT WoS článku
000351409400002
EID výsledku v databázi Scopus
2-s2.0-84925487902