Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 4 results:

Author Title Type [ Year

]

Filters: Author is Vermeir, Timothy [Clear All Filters]

2002

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.

2000

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