Publications
Export 14 results:
Author [ Title] Type Year Filters: Author is Carnielli, Walter A. [Clear All Filters]
“A Taxonomy Of C-Systems” . Paraconsistency. The Logical Way to the Inconsistent: 1-94.
. 2001. “A Taxonomy Of C-Systems” . Paraconsistency. The Logical Way to the Inconsistent: 1-94.
. 2001. “Tableau Systems For Logics Of Formal Inconsistency” . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.
. 2001. “The Symbolic Model For Algebra: Functions And Mechanisms” . Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.
. 2010. “Strategies: What's In A Name?” . The Many Sides of Logic 21: 287–306.
. 2009. “On Some Remarkable Relations Between Paraconsistent Logics, Modal Logics, And Ambiguity Logics” . Paraconsistency. The Logical Way to the Inconsistent: 275–293.
. 2002. “Prioritized Dynamic Retraction Function On Non-Monotonic Information Updates” . The Many Sides of Logic: 443-463.
. 2009. “Ontological Causes Of Inconsistency And A Change-Adaptive, Logical Solution” . Paraconsistency. The Logical Way to the Inconsistent 228: 151–166.
. 2002. “A Logical Framework For Integrating Inconsistent Information In Multiple Databases” . Foundations of Information and Knowledge Systems 2284: 67-84. http://dx.doi.org/10.1007/3-540-45758-5_5.
. 2002. “An Inconsistency-Adaptive Proof Procedure For Logic Programming” . Paraconsistency. The Logical Way to the Inconsistent: 323-340.
. 2002. “Goal-Directed Tableaux” . The Many Sides of Logic 21: 241–256.
. 2009. “Ex Contradictione Non Sequitur Quodlibet”. In Proceedings of the 2000 Advanced Reasoning Forum Conference, Proceedings of the 2000 Advanced Reasoning Forum Conference,.
. 2001. “An Adaptive Logic For Pragmatic Truth” . Paraconsistency. The Logical Way to the Inconsistent: 167–185.
. 2002. “Adaptive Cn Logics” . The Many Sides of Logic: 27–45.
. 2009.