Stock image for illustration purposes only - book cover, edition or condition may vary.
Goal-Directed Proof Theory
Gabbay, Dov M.; Olivetti, Nicola
€ 127.72
FREE Delivery in Ireland
Description for Goal-Directed Proof Theory
Hardback. Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective. Series: Applied Logic Series. Num Pages: 268 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576.
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
Hardback
Publication date
2000
Publisher
Kluwer Academic Publishers United States
Number of pages
268
Condition
New
Series
Applied Logic Series
Number of Pages
268
Place of Publication
Dordrecht, Netherlands
ISBN
9780792364733
SKU
V9780792364733
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Goal-Directed Proof Theory