Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
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
Profile
Projects
Publications
Activities
Awards & Distinctions
3
Results
2002
An inconsistency-adaptive proof procedure for logic programming
Timothy Vermeir
P1
Conference
2002
Direct dynamic proofs for the Rescher-Manor consequence relations : the flat case
Diderik Batens
Timothy Vermeir
A2
Journal Article
in
JOURNAL OF APPLIED NON-CLASSICAL LOGICS
2002
2000
Inconsistency-adaptive arithmetic
Timothy Vermeir
A2
Journal Article
in
LOGIQUE ET ANALYSE
2000