↓ 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 2: About Truth and Types
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
About Truth and Types
Chapter number 2
Book title
Advances in Proof Theory
Published by
Birkhäuser, Cham, January 2016
DOI 10.1007/978-3-319-29198-7_2
Book ISBNs
978-3-31-929196-3, 978-3-31-929198-7
Authors

Andrea Cantini, Cantini, Andrea

View on publisher site

This page is provided by Altmetric.