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