Kahle, Reinhard
Advances in Proof Theory
1. A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
Wilfried Buchholz
2. About Truth and Types
Andrea Cantini
3. Lindenbaum’s Lemma via Open Induction
Francesco Ciraulo, Davide Rinaldi, Peter Schuster
4. Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory
Jacob Cook, Michael Rathjen
5. Machine-Checked Proof-Theory for Propositional Modal Logics
Jeremy E. Dawson, Rajeev Goré, Jesse Wu
6. Intuitionistic Decision Procedures Since Gentzen
Roy Dyckhoff
7. The Operational Perspective: Three Routes
Solomon Feferman
8. Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
Pierluigi Minari
9. From Subsystems of Analysis to Subsystems of Set Theory
Wolfram Pohlers
10. Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
Peter Schroeder-Heister
11. Higman’s Lemma and Its Computational Content
Helmut Schwichtenberg, Monika Seisenberger, Franziskus Wiesnet
12. How to Reason Coinductively Informally
Anton Setzer
13. Pointwise Transfinite Induction and a Miniaturized Predicativity
Stanley S. Wainer
Avainsanat: Mathematics, Mathematical Logic and Foundations, Logic
- Toimittaja
- Kahle, Reinhard
- Strahm, Thomas
- Studer, Thomas
- Julkaisija
- Springer
- Julkaisuvuosi
- 2016
- Kieli
- en
- Painos
- 1
- Sarja
- Progress in Computer Science and Applied Logic
- Sivumäärä
- 12 sivua
- Kategoria
- Eksaktit luonnontieteet
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319291987
- Painetun ISBN
- 978-3-319-29196-3