Publications
Export 3 results:
[ Author![(Desc)](https://www.clps.ugent.be/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: Author is Carnielli, Walter A. [Clear All Filters]
“Tableau Systems For Logics Of Formal Inconsistency” . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.
. 2001. ![application/pdf](/modules/file/icons/application-pdf.png)
“Ex Contradictione Non Sequitur Quodlibet”. In Proceedings of the 2000 Advanced Reasoning Forum Conference, Proceedings of the 2000 Advanced Reasoning Forum Conference,.
. 2001. “A Taxonomy Of C-Systems” . Paraconsistency. The Logical Way to the Inconsistent: 1-94.
. 2001.