Login

Kahle, Reinhard

Advances in Proof Theory

Kahle, Reinhard - Advances in Proof Theory, ebook

130,70€

Ebook, PDF with Adobe DRM
ISBN: 9783319291987
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: Mathematics, Mathematical Logic and Foundations, Logic

Editor
 
 
Publisher
Springer
Publication year
2016
Language
en
Edition
1
Series
Progress in Computer Science and Applied Logic
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9783319291987
Printed ISBN
978-3-319-29196-3

Similar titles