@conference {carnielli2001ex, title = {Ex contradictione non sequitur quodlibet}, booktitle = {Proceedings of the 2000 Advanced Reasoning Forum Conference}, 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.

}, author = {Carnielli, Walter A. and Marcos, Jo{\~a}o} }