☰ Category

Herbrand Sequent Extraction


Marketed By :  AV Akademikerverlag   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Product Out of Stock Subscription

(Notify me when this product is back in stock)

Rs. 3,651

Availability: Out of stock

  • Product Description

Revision with unchanged content. Formal 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.

Product Specifications
SKU :COC24644
AuthorBruno Woltzenlogel Paleo
Number of Pages96
Publishing Year2012-04-07T00:00:00.000
Edition1 st
Book TypeMathematics
Country of ManufactureIndia
Product BrandAV Akademikerverlag
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-28 00:00:00
0 Review(s)