Introduction

Proof-theoretic semantics

Reinhard Kahle, Peter Schroeder-Heister

503-506

Meaning approached via proofs

Dag Prawitz

507-524

Validity concepts in proof-theoretic semantics

Peter Schroeder-Heister

525-571

The justification of the logical laws revisited

Patrizio Contu

573-588

On the proof-theoretic foundation of general definition theory

Lars Hallnäs

589-602

Proof-theoretic semantics for classical mathematics

William W. Tait

603-622

Semantic values for natural deduction derivations

Göran Sundholm

623-638

Models of deduction*

Kosta Dosen

639-657

A proof-theoretic view of necessity

Reinhard Kahle

659-673

Towards a semantics based on the notion of justification

Gabriele Usberti

675-699

Notes on constructive negation

Grigori Mints

701-717

Theories and ordinals in proof theory

Michael Rathjen

719-743