Publications

Export 3 results:
Author Title Type [ Year(Desc)]
Filters: Author is Carnielli, Walter A. and First Letter Of Title is T  [Clear All Filters]
2001
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.
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, 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.