Synthese

Revue | Volume

Proof-theoretic semantics

Volume 148 (3)

Détails | Table des matières

Introduction

proof-theoretic semantics

Reinhard Kahle Peter Schroeder-Heister

pp.503-506

https://doi.org/10.1007/s11229-004-6292-5

Meaning approached via proofs Dag Prawitz

pp.507-524

https://doi.org/10.1007/s11229-004-6295-2

Validity concepts in proof-theoretic semantics Peter Schroeder-Heister

pp.525-571

https://doi.org/10.1007/s11229-004-6296-1

The justification of the logical laws revisited Patrizio Contu

pp.573-588

https://doi.org/10.1007/s11229-004-6270-y

On the proof-theoretic foundation of general definition theory Lars Hallnäs

pp.589-602

https://doi.org/10.1007/s11229-004-6291-6

Proof-theoretic semantics for classical mathematics William W. Tait

pp.603-622

https://doi.org/10.1007/s11229-004-6271-x

Semantic values for natural deduction derivations Göran Sundholm

pp.623-638

https://doi.org/10.1007/s11229-004-6298-z

Models of deduction* Kosta Dosen

pp.639-657

https://doi.org/10.1007/s11229-004-6290-7

A proof-theoretic view of necessity Reinhard Kahle

pp.659-673

https://doi.org/10.1007/s11229-004-6293-4

Towards a semantics based on the notion of justification Gabriele Usberti

pp.675-699

https://doi.org/10.1007/s11229-004-6272-9

Notes on constructive negation Grigori Mints

pp.701-717

https://doi.org/10.1007/s11229-004-6294-3

Theories and ordinals in proof theory Michael Rathjen

pp.719-743

https://doi.org/10.1007/s11229-004-6297-0

Détails de la publication

Revue: Synthese

Volume: 148

Numéro: 3

Année: 2006

Citation complète:

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