{"product_id":"goal-directed-proof-theory-9780792364733","title":"Goal-Directed Proof Theory","description":"\u003cp\u003e • Author(s): Dov M. Gabbay\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003e\u003cem\u003eGoal Directed Proof Theory\u003c\/em\u003e 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 \u003cem\u003egoal-directed\u003c\/em\u003e 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 systems form a \u003cem\u003eprocedural\u003c\/em\u003e perspective. \u003cbr\u003e \u003cem\u003eReadership: \u003c\/em\u003e Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":45283323871383,"sku":"9780792364733","price":7345.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780792364733.webp?v=1769304678","url":"https:\/\/atlanticbooks.com\/products\/goal-directed-proof-theory-9780792364733","provider":"Atlantic Books","version":"1.0","type":"link"}