{"product_id":"herbrand-sequent-extraction-paperback","title":"Herbrand Sequent Extraction - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eBruno Woltzenlogel Paleo\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eFormal proofs of interesting mathematical theorems are usually too large and full of trivial structural information, and hence hard to understand and analyze. Techniques to extract specific essential information from these proofs are needed. This book describes four algorithms to extract a Herbrand sequent of the end-sequent of proofs written in Gentzen's Sequent Calculus LK for classical First-Order Logic. Within this calculus, we define a Herbrand sequent as a generalization of Herbrand disjunction, and its extraction can be used to summarize the creative information of a formal proof, which lies on the instantiations chosen for the quantifiers. One of these algorithms has been implemented in CERes (Cut-Elimination by Resolution), an automated system for proof transformations and analysis.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 92\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.19 x 9.61 x 6.69 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e February 07, 2008\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":48266309796089,"sku":"9783836461528","price":76.21,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/6244fwlxla9783836461528.webp?v=1775672388","url":"https:\/\/bookscloud.io\/products\/herbrand-sequent-extraction-paperback","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}