Goal-Directed Proof Theory

by Dov M Gabbay, Dov M. Gabbay, N. Olivetti

Book Overview

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 of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical...

• Format: Paperback
• Language: English
• ISBN: 9048155266
• ISBN13: 9789048155262
• Release Date: December 2010
• Publisher: Springer
• Length: 268 Pages
• Weight: 0.87 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"