Methods of Cut-Elimination

• Κύριοι συγγραφείς: Leitsch, Alexander (Συγγραφέας), Baaz, Matthias (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2011.
• Σειρά: Trends in Logic ; 34
• Θέματα: 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...

Πίνακας περιεχομένων:

• 1 Preface
• 2 Introduction
• 3 Preliminaries
• 4 Complexity of Cut-Elimination
• 5 Reduction and Elimination
• 6 Cut-Elimination by Resolution
• 7 Extensions of CERES
• 8 Applications of CERES
• 9 CERES in Nonclassical Logics
• 10 Related Research.