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. “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.