Ghent University Academic Bibliography


Project: A general characterization of goal-directed proof procedures

project duration
01-OCT-07 – 30-SEP-13
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.