Leitsch, Alexander
Methods of Cut-Elimination
Table of contents
1. Preface
Matthias Baaz, Alexander Leitsch
2. Introduction
Matthias Baaz, Alexander Leitsch
3. Preliminaries
Matthias Baaz, Alexander Leitsch
4. Complexity of Cut-Elimination
Matthias Baaz, Alexander Leitsch
5. Reduction and Elimination
Matthias Baaz, Alexander Leitsch
6. Cut-Elimination by Resolution
Matthias Baaz, Alexander Leitsch
7. Extensions of CERES
Matthias Baaz, Alexander Leitsch
8. Applications of CERES
Matthias Baaz, Alexander Leitsch
9. CERES in Nonclassical Logics
Matthias Baaz, Alexander Leitsch
10. Related Research
Matthias Baaz, Alexander Leitsch
Keywords: Mathematics, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages
- Author(s)
- Leitsch, Alexander
- Baaz, Matthias
- Publisher
- Springer
- Publication year
- 2011
- Language
- en
- Edition
- 1
- Series
- Trends in Logic
- Page amount
- 6 pages
- Category
- Natural Sciences
- Format
- Ebook
- eISBN (PDF)
- 9789400703209
