Synthese

, Volume 27, Issue 1–2, pp 63–77 | Cite as

On the idea of a general proof theory

  • Dag Prawitz

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. [1]
    Getzen, G., ‘Untersuchungen über das logische Schliessen’,Mathematische Zeitschrift 39 (1935) 176–210, 405–431.Google Scholar
  2. [2]
    Girard, J. Y., ‘Une extension du système de fonctionelles recursives de Gödel et son application aux fondements de l'analyse’, inProceedings of the Second Scandinavian Logic Symposium (ed. by J. E. Fenstad), North-Holland, Amsterdam, 1971, pp. 63–92.Google Scholar
  3. [3]
    Hilbert, David, ‘Mathematische Probleme’ (Vortrag, gehalten auf dem internationalen Mathematikerkongress zu Paris 1900) inNachrichten von der K. Gesellschaft der Wissenschaften zu Göttingen, Math.-Phys. Kl. (1900), pp. 253–297.Google Scholar
  4. [4]
    Hilbert, David, ‘Über die Grundlagen der Logik und der Arithmetik’, inVerhandlungen des dritten internationalen Mathematikerkongress in Heidelberg 1904, Leipzig 1905, pp. 174–185.Google Scholar
  5. [5]
    Hilbert, David, ‘Über das Unendliche’,Mathematische Annalen 95 (1926) 161–190.Google Scholar
  6. [6]
    Kreisel, Georg, ‘Foundations of Intuitionistic Logic’, inLogic, Methodology, and Philosophy of Science (ed. by E. Nagel, P. Suppes, and A. Tarski), Stanford University Press, Stanford, California, 1962, pp. 192–210.Google Scholar
  7. [7]
    Martin-Löf, Per, ‘An Intuitionistic Theory of Types’ (mimeographed), Department of Mathematics, University of Stockholm 1973.Google Scholar
  8. [8]
    Prawitz, Dag,Natural Deduction: A Proof-Theoretical Study, Almquist & Wiksell, Stockholm 1965.Google Scholar
  9. [9]
    Prawitz, Dag, ‘Ideas and Results in Proof Theory’, inProceedings of the Second Scandinavian Logic Symposium (ed. by J. E. Fenstad), North-Holland, Amsterdam 1971, pp. 235–307.Google Scholar
  10. [10]
    Prawitz, Dag, ‘Towards a Foundation of a General Proof Theory’, inLogic, Methodology, and Philosophy of Science IV, Proceedings of the 1971 International Congress (ed. by P. Suppes, L. Henkin, A. Joja, and Gr.C. Moisil), North-Holland, Amsterdam, 1973, pp. 225–250.Google Scholar
  11. [11]
    Tarski, A., ‘Über den Begriff der logischen Folgerungen’, inActes du Congrès International de Philosophie Scientifique VII, Paris 1936, pp. 1–11.Google Scholar

Copyright information

© D. Reidel Publishing Company 1974

Authors and Affiliations

  • Dag Prawitz
    • 1
  1. 1.University of OsloNorway

Personalised recommendations