editor, Administrators
2,020
edits
Changes
Carnielli and Marcos (2001) (view source)
Revision as of 17:44, 6 September 2016
, 17:44, 6 September 2016Created page with "{{Bibliographic Record |Title=Ex Contradictione Non Sequitur Quodlibet |Resource Type=journal article |Author=Walter Carnielli, Joano Marcos, |Year=2001 |Abstract=We summarize..."
{{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
}}
|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
}}