Volume 107, Issue 1

February 2019

Special Issue: General Proof Theory

Issue Editors:

11 articles in this issue

General Proof Theory: Introduction
Thomas Piecha
Peter Schroeder-Heister
EditorialNotes 10 September 2018 Pages: 1 - 5
Kosta Došen (1954–2017)
Peter Schroeder-Heister
OriginalPaper 16 July 2018 Pages: 7 - 9
The Fundamental Problem of General Proof Theory
Dag Prawitz
OriginalPaper Open access 22 February 2018 Pages: 11 - 29
Gödel on Deduction
Kosta Došen
Miloš Adžić
OriginalPaper 26 December 2017 Pages: 31 - 51
Proof Compression and NP Versus PSPACE
L. Gordeev
E. H. Haeusler
OriginalPaper 28 December 2017 Pages: 53 - 83
Logicality, Double-Line Rules, and Modalities
Norbert Gratzl
Eugenio Orlandelli
OriginalPaper 19 January 2018 Pages: 85 - 107
Postponement of \(\mathsf {raa}\) and Glivenko’s Theorem, Revisited
Giulio Guerrieri
Alberto Naibo
OriginalPaper 09 March 2018 Pages: 109 - 144
Is There a “Hilbert Thesis”?
Reinhard Kahle
OriginalPaper 18 January 2018 Pages: 145 - 165
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic
Grigory K. Olkhovikov
Heinrich Wansing
OriginalPaper 23 January 2018 Pages: 167 - 194
The Naturality of Natural Deduction
Luca Tranchini
Paolo Pistone
Mattia Petrolo
OriginalPaper 20 December 2017 Pages: 195 - 231
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
Thomas Piecha
Peter Schroeder-Heister
OriginalPaper 25 August 2018 Pages: 233 - 246

Search