Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Band

COPR

Bookmark

Link

Synthese

Proof-theoretic semantics

Band 148 (3)

Details | Inhaltsverzeichnis

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

Zeitschrift: Synthese

Band: 148

Issue: 3

Year: 2006

Referenz:

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