Carnielli and Marcos (2001)

From Encyclopedia of Scientonomy
Jump to navigation Jump to search

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