Project

A general characterization of goal-directed proof procedures

Code
3E012307
Duration
01 October 2007 → 30 September 2013
Funding
Regional and community funding: Special Research Fund, Research Foundation - Flanders (FWO)
Promotor
Research disciplines
  • Humanities
    • Theory and methodology of philosophy
  • Natural sciences
    • History and foundations
Keywords
alternative logics proof procedures heuristics
 
Project description

The overall objective of this project is the development of a method that allows for the systematic generation of a goal-directed proof procedure for a given logic. This sytematic method will provide a means to perspicuously formulate an inference system and a matching heuristics for a given logic L. Moreover, this method will be implemented in a metatheoretical framework that allows for a straightforward formulation of the soundness- and completeness proof between a logic L and its goal-directed proof procedure.