Synthese

Repository | Journal | Volume

2006

253 Pages

ISBN n/a

Synthese

Proof-theoretic semantics

Vol. 148 (3)

Publication details

Full citation:

(2006). Proof-theoretic semantics. Synthese 148 (3).

Table of Contents

Introduction

Kahle Reinhard; Schroeder-Heister Peter

503-506

Meaning approached via proofs

Prawitz Dag

507-524

Validity concepts in proof-theoretic semantics

Schroeder-Heister Peter

525-571

The justification of the logical laws revisited

Contu Patrizio

573-588

On the proof-theoretic foundation of general definition theory

Hallnäs Lars

589-602

Proof-theoretic semantics for classical mathematics

Tait William W.

603-622

Semantic values for natural deduction derivations

Sundholm Göran

623-638

Models of deduction*

Dosen Kosta

639-657

A proof-theoretic view of necessity

Kahle Reinhard

659-673

Towards a semantics based on the notion of justification

Usberti Gabriele

675-699

Notes on constructive negation

Mints Grigori

701-717

Theories and ordinals in proof theory

Rathjen Michael

719-743

Is this table of contents incomplete? Click here to add the missing references

This document is unfortunately not available for download at the moment.