Skip to main content
SpringerLink
Log in

Introduction: Proof-theoretic Semantics

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • M. Dummett (1991) The Logical Basis of Metaphysics Duckworth London

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • P. Schroeder-Heister (1991) ArticleTitle‘Uniform Proof-Theoretic Semantics for Logical Constants’. Abstract Journal of Symbolic Logic. 56 1142

    Google Scholar 

  • W. W. Tait (1967) ArticleTitle‘Intensional Interpretations of Functionals of Finite Type I’ Journal of Symbolic Logic. 32 198–212 Occurrence Handle10.2307/2271658

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Matemática, Universidade de Coimbra, Apartado 3008, P-3001-454, Coimbra, Portugal

    Reinhard Kahle

  2. Wilhelm-Schickard-Institut, Universität Tübingen, Sand 13, 72076, Tübingen, Germany

    Peter Schroeder-Heister

Authors
  1. Reinhard Kahle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Schroeder-Heister
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Reinhard Kahle.

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

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

Search

Navigation