Advances in Proof Theory - Progress in Computer Science and Applied Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319291963, 9783319291987

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_8 ◽

2016 ◽

pp. 291-318

Author(s):

Pierluigi Minari

Keyword(s):

Modal Logic ◽

Proof Theory

Download Full-text

About Truth and Types

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_2 ◽

2016 ◽

pp. 31-64

Author(s):

Andrea Cantini

Download Full-text

Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_10 ◽

2016 ◽

pp. 339-351 ◽

Cited By ~ 2

Author(s):

Peter Schroeder-Heister

Keyword(s):

Trade Offs

Download Full-text

From Subsystems of Analysis to Subsystems of Set Theory

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_9 ◽

2016 ◽

pp. 319-338 ◽

Cited By ~ 1

Author(s):

Wolfram Pohlers

Keyword(s):

Set Theory

Download Full-text

Lindenbaum’s Lemma via Open Induction

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_3 ◽

2016 ◽

pp. 65-77 ◽

Cited By ~ 2

Author(s):

Francesco Ciraulo ◽

Davide Rinaldi ◽

Peter Schuster

Keyword(s):

Open Induction

Download Full-text

Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_4 ◽

2016 ◽

pp. 79-172

Author(s):

Jacob Cook ◽

Michael Rathjen

Keyword(s):

Set Theory ◽

Ordinal Analysis

Download Full-text

Higman’s Lemma and Its Computational Content

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_11 ◽

2016 ◽

pp. 353-375 ◽

Cited By ~ 2

Author(s):

Helmut Schwichtenberg ◽

Monika Seisenberger ◽

Franziskus Wiesnet

Keyword(s):

Higman's Lemma ◽

Higman’S Lemma

Download Full-text

A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_1 ◽

2016 ◽

pp. 1-29 ◽

Cited By ~ 2

Author(s):

Wilfried Buchholz

Keyword(s):

Ordinal Notations

Download Full-text

The Operational Perspective: Three Routes

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_7 ◽

2016 ◽

pp. 269-289 ◽

Cited By ~ 2

Author(s):

Solomon Feferman

Download Full-text

Pointwise Transfinite Induction and a Miniaturized Predicativity

Advances in Proof Theory - Progress in Computer Science and Applied Logic ◽

10.1007/978-3-319-29198-7_13 ◽

2016 ◽

pp. 409-425 ◽

Cited By ~ 1

Author(s):

Stanley S. Wainer

Keyword(s):

Transfinite Induction

Download Full-text

Advances in Proof Theory - Progress in Computer Science and Applied LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic

About Truth and Types

Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut

From Subsystems of Analysis to Subsystems of Set Theory

Lindenbaum’s Lemma via Open Induction

Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory

Higman’s Lemma and Its Computational Content

A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal

The Operational Perspective: Three Routes

Pointwise Transfinite Induction and a Miniaturized Predicativity

Advances in Proof Theory - Progress in Computer Science and Applied Logic
Latest Publications