↓ 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
Attention for Chapter 5: Machine-Checked Proof-Theory for Propositional Modal Logics
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.