Leitsch, Alexander
Methods of Cut-Elimination
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
Avainsanat: Mathematics, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages
- Tekijä(t)
- Leitsch, Alexander
- Baaz, Matthias
- Julkaisija
- Springer
- Julkaisuvuosi
- 2011
- Kieli
- en
- Painos
- 1
- Sarja
- Trends in Logic
- Sivumäärä
- 6 sivua
- Kategoria
- Eksaktit luonnontieteet
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9789400703209