| bibtype |
J -
Journal Article
|
| ARLID |
0469166 |
| utime |
20240103213401.1 |
| mtime |
20170116235959.9 |
| SCOPUS |
84925487902 |
| WOS |
000351409400002 |
| DOI |
10.1007/s00500-014-1489-0 |
| title
(primary) (eng) |
Paraconsistency properties in degree-preserving fuzzy logics |
| specification |
| page_count |
16 s. |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0258368 |
| ISSN |
1432-7643 |
| title
|
Soft Computing |
| volume_id |
19 |
| volume |
3 (2015) |
| page_num |
531-546 |
| publisher |
|
|
| keyword |
Mathematical fuzzy logic |
| keyword |
degree-preserving fuzzy logics |
| keyword |
paraconsistent logics |
| keyword |
logics of formal inconsistency |
| author
(primary) |
| ARLID |
cav_un_auth*0293880 |
| name1 |
Ertola |
| name2 |
R. |
| country |
BR |
|
| author
|
| ARLID |
cav_un_auth*0019168 |
| name1 |
Esteva |
| name2 |
F. |
| country |
ES |
|
| author
|
| ARLID |
cav_un_auth*0328767 |
| name1 |
Flaminio |
| name2 |
T. |
| country |
IT |
|
| author
|
| ARLID |
cav_un_auth*0015019 |
| name1 |
Godo |
| name2 |
L. |
| country |
ES |
|
| author
|
| ARLID |
cav_un_auth*0293476 |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| full_dept |
Department of Decision Making Theory |
| name1 |
Noguera |
| name2 |
Carles |
| institution |
UTIA-B |
| garant |
K |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| source |
|
| cas_special |
| project |
| ARLID |
cav_un_auth*0341166 |
| project_id |
GAP202/10/1826 |
| agency |
GA ČR |
|
| abstract
(eng) |
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. |
| RIV |
BA |
| reportyear |
2017 |
| num_of_auth |
5 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0269416 |
| confidential |
S |
| mrcbT16-e |
COMPUTERSCIENCEARTIFICIALINTELLIGENCE|COMPUTERSCIENCEINTERDISCIPLINARYAPPLICATIONS |
| mrcbT16-j |
0.52 |
| mrcbT16-s |
0.759 |
| mrcbT16-4 |
Q2 |
| mrcbT16-B |
31.956 |
| mrcbT16-C |
56.298 |
| mrcbT16-D |
Q3 |
| mrcbT16-E |
Q2 |
| arlyear |
2015 |
| mrcbU14 |
84925487902 SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
000351409400002 WOS |
| mrcbU63 |
cav_un_epca*0258368 Soft Computing 1432-7643 1433-7479 Roč. 19 č. 3 2015 531 546 Springer |
|