DocumentCode
1965264
Title
Paraconsistent logics and applications
Author
Abe, Jair Minoro
Author_Institution
Grad. Program in Production Eng., ICET - Paulista Univ., Sao Paulo, Brazil
fYear
2010
fDate
15-17 July 2010
Firstpage
11
Lastpage
18
Abstract
In this expository paper we discuss some applications of paraconsistent annotated logics. They have the capability of manipulating concepts like fuzziness, inconsistency, and paracompleteness in a non-trivial manner. Such systems are new and they were discovered recently at the end of last century.
Keywords
formal logic; fuzzy set theory; fuzziness; paracompleteness; paraconsistent annotated logics; Diseases; Engines; Knowledge based systems; Lattices; Robots; Sensors; Uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
Soft Computing Applications (SOFA), 2010 4th International Workshop on
Conference_Location
Arad
Print_ISBN
978-1-4244-7985-6
Type
conf
DOI
10.1109/SOFA.2010.5565631
Filename
5565631
Link To Document