This is a preview of subscription content, log in via an institution to check access.
REFERENCES
Beth, E.: 1955, ‘Semantic Entailement and Formal Derivability’, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, 18, 309–342.
Gentzen, G.: 1934-35, ‘Untersuchungen über das logische Schliessen’, Mathematische Zeitschrift 39, 176–210, 405-431.
Gentzen, G.: 1936, ‘Die Widerspruchsfreiheit der reinen Zahlentheorie’, Mathematische Annalen 112, 493–565.
Gentzen, G.: 1938, ‘Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie’, Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften 4, 19–44.
Gentzen, G.: 1943, ‘Beweisbarkeit und Unbeweisbarkeit der Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie’, Mathematische Annalen 120, 140–161.
Gentzen, G.: 1969, The Collected Papers of Gerhard Gentzen, M. Szabo (ed.), North-Holland, Amsterdam.
Hintikka, J. and U. Remes: 1975, The Method of Analysis, Reidel, Dordrecht.
Ketonen, O.: 1944, Untersuchungen zum Prädikatenkalkül, Helsinki (Annales Acad. Sci. Fenn, Ser. A.I. 23).
Leivant, D.: 1979, ‘Assumption Classes in Natural Deduction’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 25, 1–4.
Mäenpää, P.: 1993, The Art of Analysis: Logic and History of Problem Solving, Dissertation, Helsinki.
Mäenpää, P.: 1997, ‘From Backward Reduction to Configurational Analysis’, in M. Otte and M. Panza (eds.), Analysis and Synthesis in Mathematics, Reidel, Dordrecht, pp. 201–226.
Martin-Löf, P.: 1984, Intuitionistic Type Theory, Bibliopolis, Naples.
Menzler-Trott, E.: 2001, Gentzens Problem: mathematische Logik im nazionalsozialistischen Deutschland, Birkhauser, Basel.
Negri, S.: 1999, ‘Natural Deduction and Normal Form for Intuitionistic Linear Logic’, Archive for Mathematical Logic, in press.
Negri, S. and J. von Plato: 1999, ‘Sequent Calculus in Natural Deduction Style’, The Journal of Symbolic Logic, in press.
Negri, S. and J. von Plato: 2001, Structural Proof Theory, Cambridge University Press.
von Plato, J.: 2001a, ‘A Proof of Gentzen's Hauptsatz without Multicut’, Archive for Mathematical Logic 40, 9–18.
von Plato, J.: 2001b, ‘Natural Deduction with General Elimination Rules’, Archive for Mathematical Logic, 40, 521–547.
Prawitz, D.: 1965, Natural Deduction: A Proof-Theoretical Study, Almqvist & Wicksell, Stockholm.
Prawitz, D.: 1971, ‘Ideas and Results in Proof Theory’, in J. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, pp. 235–308.
Raggio, A.: 1965, ‘Gentzen's Hauptsatz for the systems NI and NK’, Logique et Analyse 8, 91–100.
Schmidt, A.: 1935, ‘Review of Gentzen (1934-35)’, Zentralblatt für Mathematik und ihre Grenzgebiete 10, 145–146.
Schroeder-Heister, P.: 1984, ‘A Natural Extension of Natural Deduction’, The Journal of Symbolic Logic 49, 1284–1300.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Von Plato, J. Rereading Gentzen. Synthese 137, 195–209 (2003). https://doi.org/10.1023/A:1026243304544
Issue Date:
DOI: https://doi.org/10.1023/A:1026243304544