Repository | Journal | Volume

COPR BookmarkLink
236909

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

Open Access Link
Meaning approached via proofs

Prawitz Dag

507-524

Open Access Link
Validity concepts in proof-theoretic semantics

Schroeder-Heister Peter

525-571

Open Access Link
The justification of the logical laws revisited

Contu Patrizio

573-588

Open Access Link
On the proof-theoretic foundation of general definition theory

Hallnäs Lars

589-602

Open Access Link
Proof-theoretic semantics for classical mathematics

Tait William W.

603-622

Open Access Link
Semantic values for natural deduction derivations

Sundholm Göran

623-638

Open Access Link
Models of deduction*

Dosen Kosta

639-657

Open Access Link
A proof-theoretic view of necessity

Kahle Reinhard

659-673

Open Access Link
Towards a semantics based on the notion of justification

Usberti Gabriele

675-699

Open Access Link
Notes on constructive negation

Mints Grigori

701-717

Open Access Link
Theories and ordinals in proof theory

Rathjen Michael

719-743

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

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