Untersuchungen über das logische Schließen. II.

Mathematische Zeitschrift 39:405–431 (1935)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
Recherches sur la déduction logique.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
Günther Patzig. Einleitung. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 5–29. - Gottlob Frege. Der Gedanke. Eine logische Untersuchung. A reprint of XVIII 93. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 30–53. - Gottlob Frege. Die Verneinung. Eine logische Untersuchung. A reprint of XVIII 93. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 54–71. - Gottlob Frege. Logische Untersuchungen. Dritter Teil: Gedankengefüge.Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 72–91. , pp. 36–51.) - Gottlob Frege. Kritische Beleuchtung einiger Punkte in E. Schröders Vorlesungen über die Algebra der Logik. A reprint of 4972. Ibid., pp. 92–112. - Gottlob Frege. Über die Zahlen des Herrn H. Schubert. A reprint of 4915. Logische Untersuchungen,. [REVIEW]I. Angelelli - 1968 - Journal of Symbolic Logic 33 (2):282-284.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.
Gentzen writes in the published version of his doctoral thesis Untersuchun-gen über das logische Schliessen (Investigations into logical reasoning) that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elim.Jan von Plato - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
Natural Deduction.Andrzej Indrzejczak - 2015
Logische Untersuchungen über die Grundlagen der Mathematik.Katudi Ono - 1939 - Journal of Symbolic Logic 4 (2):89-90.
A Simulation of Natural Deduction and Gentzen Sequent Calculus.Daniil Kozhemiachenko - 2018 - Logic and Logical Philosophy 27 (1):67-84.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Wahrheit und Entdeckung. Logische und erkenntnistheoretische Untersuchungen über Aussagen und Aussagenkontexte.Rainer Enskat - 1989 - Zeitschrift für Philosophische Forschung 43 (4):709-711.
V. Logische Untersuchung: Über Intentionale Erlebnisse Und Ihre »Inhalte«.Edmund Husserl - 1985 - Felix Meiner Verlag.
Grammatik und Intentionalität (Ⅳ. Logische Untersuchung).Jocelyn Benoist - 2008 - In Verena Mayer (ed.), Edmund Husserl: Logische Untersuchungen. De Gruyter. pp. 123-137.
Kategoriale Anschauung (VI. Logische Untersuchung.Dieter Lohmar - 2008 - In Verena E. Mayer & Christopher Erhard (eds.), Edmund Husserl: Logische Untersuchungen. Akademie Verlag Berlin. pp. 35--209.
Kategoriale Anschauung (Ⅵ. Logische Untersuchung, §§ 40-66).Dieter Lohmar - 2008 - In Verena Mayer (ed.), Edmund Husserl: Logische Untersuchungen. Akademie Verlag.

Analytics

Added to PP
2020-09-13

Downloads
42 (#361,008)

6 months
14 (#154,299)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The psychology of knights and knaves.Lance J. Rips - 1989 - Cognition 31 (2):85-116.
Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.

View all 52 citations / Add more citations

References found in this work

No references found.

Add more references