Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

CERES and Fast Cut-Elimination


Marketed By :  VDM Verlag Dr. Müller   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Rs. 3,651

Availability: In stock

  • Product Description

Gentzen's cut-elimination theorem is one of the most important theorems of logic. Removing cuts from formal proofs corresponds to the elimination of intermediary lemmas from mathematical proofs. It is well known that cut-elimination is of nonelementary complexity in general. Aim of this book is to identify classes, where cut-elimination is elementary, i.e fast. The first part describes basic notions of logic, such as sequent calculus, resolution calculus and two methods of cut-elimination, such as Gentzen's method and the CERES method. It is proved that CERES method nonelementary speeds up Gentzen's method and in the second part CERES will be used as a tool to identify fast classes and prove elementary cut-elimination on them. This book is self-contained and written in easy way, so no preliminary knowledge is required and all people interested in logic and proof theory can read it.

Product Specifications
SKU :COC93512
AuthorMikheil Rukhaia
Number of Pages72
Publishing Year2011-02-06T00:00:00.000
Edition1 st
Book TypeMathematics
Country of ManufactureIndia
Product BrandVDM Verlag Dr. Müller
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-08-14 00:00:00