Publications
Export 9 results:
Author Title Type [ Year
] Filters: Author is Loffredo D'Ottaviano, Itala M. [Clear All Filters]
. 2001. “A Taxonomy Of C-Systems” . Paraconsistency. The Logical Way to the Inconsistent: 1-94.
. 2002. “An Adaptive Logic For Pragmatic Truth” . Paraconsistency. The Logical Way to the Inconsistent: 167–185.
. 2002. “An Inconsistency-Adaptive Proof Procedure For Logic Programming” . Paraconsistency. The Logical Way to the Inconsistent: 323-340.
. 2002. “Ontological Causes Of Inconsistency And A Change-Adaptive, Logical Solution” . Paraconsistency. The Logical Way to the Inconsistent 228: 151–166.
. 2002. “On Some Remarkable Relations Between Paraconsistent Logics, Modal Logics, And Ambiguity Logics” . Paraconsistency. The Logical Way to the Inconsistent: 275–293.
. 2009. “Adaptive Cn Logics” . The Many Sides of Logic: 27–45.
. 2009. “Goal-Directed Tableaux” . The Many Sides of Logic 21: 241–256.
. 2009. “Prioritized Dynamic Retraction Function On Non-Monotonic Information Updates” . The Many Sides of Logic: 443-463.
. 2009. “Strategies: What's In A Name?” . The Many Sides of Logic 21: 287–306.