Publications
Export 2 results:
Author Title Type [ Year] Filters: First Letter Of Title is I and Author is Vermeir, Timothy [Clear All Filters]
“Inconsistency-Adaptive Arithmetic”. Logique et Analyse 42: 221-241.
. 2000. “An Inconsistency-Adaptive Proof Procedure For Logic Programming” . Paraconsistency. The Logical Way to the Inconsistent: 323-340.
. 2002.