General proof theory studies how proofs are structured, and not primarily what can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory.
As Dag Prawitz's monograph "Natural Deduction" (1965) paved the way for this development – he also proposed the term "General Proof Theory" – it is most appropriate to use this topic to celebrate 50 years of this work.
- Kosta Došen (University of Belgrade and SANU): Adjunction and Normalization in Categories of Logic
- Per Martin-Löf (Stockholm University): The two interpretations of natural deduction: how do they fit together?
- Luiz Carlos Pereira (PUC Rio de Janeiro): The Russell-Prawitz translation and schematic rules: a view from proof-theory
- Dag Prawitz (Stockholm University): Gentzen's justification of inferences
- Helmut Schwichtenberg (Universität München): Decorating natural deduction
- Heinrich Wansing (Ruhr-Universität Bochum): A more general general proof theory
- Miloš Adžić (University of Belgrade): Gödel on the absolute proof and the logic of concepts [unable to attend]
- Federico Aschieri (Vienna University of Technology): On Classical Natural Deduction: Reduction Rules, Strong Normalization, Herbrand's Theorem
- Roy Dyckhoff (University of St Andrews) & Sara Negri (University of Helsinki): Idempotent coherentisation for first-order logic
- Nissim Francez (The Technion, Haifa): On distinguishing proof-theoretic consequence from derivability
- Lew Gordeew & E. Hermann Haeusler: NP = PSPACE [unable to attend]
- Norbert Gratzl (Universität München) & Eugenio Orlandelli (University of Bologna): Harmony, Logicality, and Double-line Rules
- Giulio Guerrieri (Université Paris Diderot - Paris 7) & Alberto Naibo (Université Paris 1 Panthéon-Sorbonne): Postponement of RAA and Glivenko's theorem, revisited
- Danko Ilik (Inria Saclay - Île de France): High-school sequent calculus and an intuitionistic formula hierarchy preserving identity of proofs
- Reinhard Kahle (Universidade Nova de Lisboa): Is there a "Hilbert thesis"?
- Angeliki Koutsoukou-Argyraki (TU Darmstadt): New Applications of Proof Mining to Nonlinear Analysis
- Mario Piazza (University of Chieti-Pescara) & Gabriele Pulcini (State University of Campinas): On the maximality of classical logic
- Clayton Peterson (Universität München): Monoidal logics: De Morgan negations and classical systems
- Zoran Petrić (Mathematical Institute, SANU): The natural deduction normal form and coherence