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