Repository | Zeitschrift | Band
Synthese
Proof-theoretic semantics
Band 148 (3)
Details | Inhaltsverzeichnis
Introduction
proof-theoretic semantics
pp.503-506
https://doi.org/10.1007/s11229-004-6292-5
The justification of the logical laws revisited
pp.573-588
https://doi.org/10.1007/s11229-004-6270-y
On the proof-theoretic foundation of general definition theory
pp.589-602
https://doi.org/10.1007/s11229-004-6291-6
Proof-theoretic semantics for classical mathematics
pp.603-622
https://doi.org/10.1007/s11229-004-6271-x
Semantic values for natural deduction derivations
pp.623-638
https://doi.org/10.1007/s11229-004-6298-zPublication details
Zeitschrift: Synthese
Band: 148
Issue: 3
Year: 2006
Referenz:
(2006) Proof-theoretic semantics. Synthese 148 (3).