About Cut-Elimination in Schematic Proofs

by Mikheil Rukhaia

Gentzen's Hauptsatz (cut-elimination theorem) is the cornerstone in proof theory. It leads to analytic proofs. But in the systems, having induction as a rule, cut-elimination is not possible in... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3659425222
• ISBN13: 9783659425226
• Release Date: July 2013
• Publisher: LAP Lambert Academic Publishing
• Length: 124 Pages
• Weight: 0.42 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"