Methods of Cut-Elimination

• Main Authors: Leitsch, Alexander (Author), Baaz, Matthias (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2011.
• Series: Trends in Logic ; 34
• Subjects: Mathematics.; Mathematical logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It pre...