Carnielli and Marcos (2001)
Revision as of 17:44, 6 September 2016 by Paul Patton (talk | contribs) (Created page with "{{Bibliographic Record |Title=Ex Contradictione Non Sequitur Quodlibet |Resource Type=journal article |Author=Walter Carnielli, Joano Marcos, |Year=2001 |Abstract=We summarize...")
Carnielli, Walter and Marcos, Joano. (2001) Ex Contradictione Non Sequitur Quodlibet. Bulletin of Advanced Reasoning and Knowledge 1, 89-109.
| Title | Ex Contradictione Non Sequitur Quodlibet |
|---|---|
| Resource Type | journal article |
| Author(s) | Walter Carnielli, Joano Marcos |
| Year | 2001 |
| Journal | Bulletin of Advanced Reasoning and Knowledge |
| Volume | 1 |
| Pages | 89-109 |
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
