Stock image for illustration purposes only - book cover, edition or condition may vary.
Goal-Directed Proof Theory
Gabbay, Dov M.; Olivetti, Nicola
€ 118.83
FREE Delivery in Ireland
Description for Goal-Directed Proof Theory
Paperback. Series: Applied Logic Series. Num Pages: 268 pages, biography. BIC Classification: HPL; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 438.
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 systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical ... Read more
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 systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
268
Condition
New
Series
Applied Logic Series
Number of Pages
268
Place of Publication
Dordrecht, Netherlands
ISBN
9789048155262
SKU
V9789048155262
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Goal-Directed Proof Theory