Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Timothy Vermeir

Awards & Distinctions

4 Results

2002

An inconsistency-adaptive proof procedure for logic programming

Timothy Vermeir

Direct dynamic proofs for the Rescher-Manor consequence relations : the flat case

Diderik BatensTimothy Vermeir

A2 Journal Article in JOURNAL OF APPLIED NON-CLASSICAL LOGICS

From wffs to clauses : transforming wffs in clauses without loss of meaning

Timothy Vermeir

2000

Inconsistency-adaptive arithmetic

Timothy Vermeir

A2 Journal Article in LOGIQUE ET ANALYSE