Central and East European
Society for Phenomenology

Repository | Journal | Volume

COPR Bookmark Link
236909

Synthese

Proof-theoretic semantics

Volume 148 (3)

Details | Table of Contents

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

Publication details

Journal: Synthese

Volume: 148

Issue: 3

Year: 2006

Full citation:

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