↓ 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 6: Intuitionistic Decision Procedures Since Gentzen
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
3 Mendeley
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
Intuitionistic Decision Procedures Since Gentzen
Chapter number 6
Book title
Advances in Proof Theory
Published by
Springer Nature, May 2016
DOI 10.1007/978-3-319-29198-7_6
Book ISBNs
978-3-31-929196-3, 978-3-31-929198-7
Authors

Dyckhoff, Roy, Roy Dyckhoff

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 33%
Unknown 2 67%
Readers by discipline Count As %
Computer Science 1 33%
Unknown 2 67%

This page is provided by Altmetric.