Open main menu

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