This document is unfortunately not available for download at the moment.
503-506
Introduction
Kahle Reinhard; Schroeder-Heister Peter
507-524
Meaning approached via proofs
Prawitz Dag
525-571
Validity concepts in proof-theoretic semantics
Schroeder-Heister Peter
573-588
The justification of the logical laws revisited
Contu Patrizio
589-602
603-622
Proof-theoretic semantics for classical mathematics
Tait William W.
623-638
Semantic values for natural deduction derivations
Sundholm Göran
639-657
Models of deduction*
Dosen Kosta
659-673
A proof-theoretic view of necessity
Kahle Reinhard
675-699
Towards a semantics based on the notion of justification
Usberti Gabriele
701-717
Notes on constructive negation
Mints Grigori
719-743
Theories and ordinals in proof theory
Rathjen Michael
Not implemented yet !