The February issue of Synthese is a special issue on proof-theoretic semantics, edited by Reinhard Kahle and Peter Schröder-Heister. It’s papers from a conference in Tübingen in 1999.
- Dag Prawitz, Meaning Approached Via Proofs
- Peter Schroeder-Heister, Validity Concepts in Proof-theoretic Semantics
- Patrizio Contu, The Justification of the Logical Laws Revisited
- Lars Hallnäs, On the Proof-theoretic Foundation of General Definition Theory
- William W. Tait, Proof-theoretic Semantics for Classical Mathematics
- Göran Sundholm, Semantic Values for Natural Deduction Derivations
- Kosta Dosen, Models of Deduction
- Reinhard Kahle, A Proof-theoretic View of Necessity
- Gabriele Usberti, Towards a Semantics Based on the Notion of Justification
- Grigori Mints, Notes on Constructive Negation
- Michael Rathjen, Theories and Ordinals in Proof Theory