A general characterization of goal-directed proof procedures.
Period | 01-10-2007 to 30-09-2010 |
---|---|
Type | Postdoctoral Fellowship |
Fellow | Dr. Dagmar Provijn |
Funding agency | Research Foundation - Flanders (FWO) |
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 systematic method will provide a means to perspicuously formulate an inference system and a matching heuristics for a given logic.