Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Timothy Vermeir

Prijzen & Erkenningen

4 Resultaten

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 Artikel in een tijdschrift 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 Artikel in een tijdschrift in LOGIQUE ET ANALYSE