Publications

Export 3 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is C and Author is Carnielli, Walter A.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Carnielli, Walter A, and João Marcos. 2001. Ex Contradictione Non Sequitur Quodlibet. In Proceedings of the 2000 Advanced Reasoning Forum Conference, Proceedings of the 2000 Advanced Reasoning Forum Conference,.
Carnielli, Walter A, João Marcos, and Itala MLoffred D'Ottaviano. 2001. A Taxonomy Of C-Systems Walter A Carnielli and Coniglio, Marcelo E. Paraconsistency. The Logical Way to the Inconsistent: 1-94.
Carnielli, Walter A, and João Marcos. 2001. Tableau Systems For Logics Of Formal Inconsistency Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.