Article PDF
Avoid common mistakes on your manuscript.
References
M. Dummett (1991) The Logical Basis of Metaphysics Duckworth London
Gentzen, G.: 1934, ‘Untersuchungen über das logische Schließen’, Mathematische Zeitschrift 39 (1934/35), 176–210, 405–431, English translation (‘Investigations into Logical Deduction’) in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North Holland, Amsterdam 1969, 68–131.
J.-Y. Girard (1971) ‘Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types’ J. E. Fenstad (Eds) Proceedings of the 2nd Scandinavian Logic Symposium (Oslo 1970) North Holland Amsterdam 63–92
F. Kutschera Particlevon (1968) ArticleTitle‘Die Vollständigkeit des Operatorensystems ¬, ∧, ∨, ⊃ für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik’ Archiv für mathematische Logik und Grundlagenforschung. 11 3–16 Occurrence Handle10.1007/BF01973339
P. Martin-Löf (1971) ‘Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions’ J. E. Fenstad (Eds) Proceedings of the 2nd Scandinavian Logic Symposium (Oslo 1970) North Holland Amsterdam 179–216
P. Martin-Löf (1975) ‘An Intuitionistic Theory of Types: Predicative Part’ H. E. Rose J. Shepherdson (Eds) Logic Colloquium ’73 North Holland Amsterdam 73–118
P. Martin-Löf (1982) ‘Constructive Mathematics and Computer Programming’ L. J. Cohen (Eds) et al. Logic, Methodology and Philosophy of Science VI [1979] North Holland Amsterdam 153–175
D. Prawitz (1971) ‘Ideas and Results in Proof Theory’ J. E. Fenstad (Eds) Proceedings of the 2nd Scandinavian Logic Symposium (Oslo 1970) North Holland Amsterdam 235–308
D. Prawitz (1973) ‘Towards a Foundation of a General Proof Theory’ P. Suppes (Eds) et al. Logic, Methodology, and Philosophy of Science IV [1971] North Holland Amsterdam 225–250
P. Schroeder-Heister (1991) ArticleTitle‘Uniform Proof-Theoretic Semantics for Logical Constants’. Abstract Journal of Symbolic Logic. 56 1142
W. W. Tait (1967) ArticleTitle‘Intensional Interpretations of Functionals of Finite Type I’ Journal of Symbolic Logic. 32 198–212 Occurrence Handle10.2307/2271658
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kahle, R., Schroeder-Heister, P. Introduction: Proof-theoretic Semantics. Synthese 148, 503–506 (2006). https://doi.org/10.1007/s11229-004-6292-5
Issue Date:
DOI: https://doi.org/10.1007/s11229-004-6292-5