Carnielli and Marcos (2001)
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|
|Journal||Bulletin of Advanced Reasoning and Knowledge|
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