{"product_id":"goal-directed-proof-theory-dov-m-gabbay-9780792364733","title":"Goal-Directed Proof Theory","description":"\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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Dov M. Gabbay,N. Olivetti\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0792364732\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780792364733\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/31\/2000\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 268\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.26lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.72h x 6.52w x 0.75d\u003cbr\u003e\u003cbr\u003e\u003cb\u003eReview Citation(s): \u003c\/b\u003e\u003cbr\u003e\u003ci\u003eScitech Book News\u003c\/i\u003e 03\/01\/2001 pg. 17","brand":"Dov M. Gabbay","offers":[{"title":"Hardcover","offer_id":48443690811647,"sku":"9780792364733","price":109.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_bc99862b-4051-429d-a5b9-5bae14cfed7c.jpg?v=1777207165","url":"https:\/\/www.whiterainbookhouse.com\/products\/goal-directed-proof-theory-dov-m-gabbay-9780792364733","provider":"WR Book House","version":"1.0","type":"link"}