Publications
Export 3 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is V 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.