↓ Skip to main content
What is this page? Embed badge

Advances in Proof Theory

Overview of attention for book
Cover of 'Advances in Proof Theory'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
  3. Altmetric Badge
    Chapter 2 About Truth and Types
  4. Altmetric Badge
    Chapter 3 Lindenbaum’s Lemma via Open Induction
  5. Altmetric Badge
    Chapter 4 Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
  6. Altmetric Badge
    Chapter 5 Machine-Checked Proof-Theory for Propositional Modal Logics
  7. Altmetric Badge
    Chapter 6 Intuitionistic Decision Procedures Since Gentzen
  8. Altmetric Badge
    Chapter 7 The Operational Perspective: Three Routes
  9. Altmetric Badge
    Chapter 8 Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
  10. Altmetric Badge
    Chapter 9 From Subsystems of Analysis to Subsystems of Set Theory
  11. Altmetric Badge
    Chapter 10 Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
  12. Altmetric Badge
    Chapter 11 Higman’s Lemma and Its Computational Content
  13. Altmetric Badge
    Chapter 12 How to Reason Coinductively Informally
  14. Altmetric Badge
    Chapter 13 Pointwise Transfinite Induction and a Miniaturized Predicativity
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog
twitter
4 X users

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
4 Mendeley
Summary Blogs X Dimensions citations

This page is provided by Altmetric.