Goal-Directed Proof Theory
โ
Gabbay D., Olivetti N.
๐
Library
๐
2000
๐
English
โ 1 MB
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style