611 bytes added
, 17:44, 6 September 2016
{{Bibliographic Record
|Title=Ex Contradictione Non Sequitur Quodlibet
|Resource Type=journal article
|Author=Walter Carnielli, Joano Marcos,
|Year=2001
|Abstract=We summarize here the main arguments, basic research lines, and results on the foundations of the logics of formal inconsistency. These involve, in particular, some classes of well-known paraconsistent systems. We also present their semantical interpretations by way of possible-translations semantics and their applications to human reasoning and machine reasoning.1
|Journal=Bulletin of Advanced Reasoning and Knowledge
|Volume=1
|Pages=89-109
}}