Timothy Vermeir

Recent publications

Batens, Diderik, and Timothy Vermeir. 2002. “Direct Dynamic Proofs For The Rescher–Manor Consequence Relations: The Flat Case”. Journal of Applied Non-Classical Logics 12: 63–84.

Vermeir, Timothy. 2002. From Wffs To Clauses: Transforming Wffs In Clauses Without Loss Of Meaning.

Vermeir, Timothy. 2002. “An Inconsistency-Adaptive Proof Procedure For Logic Programming” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent: 323-340.

Vermeir, Timothy. 2000. “Inconsistency-Adaptive Arithmetic”. Logique et Analyse 42: 221-241.