Untersuchungen über das logische Schliessen

Darmstadt,: Wissenschaftliche Buchgesellschaft (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.G33

Links

PhilArchive



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

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

Recherches sur la déduction logique.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
Essay Review.Enrico Moriconi - 2017 - History and Philosophy of Logic 38 (2):1-11.
Logische Untersuchungen (Hrsg. v. Günther Patzig).Gottlob Frege - 1976 - Göttingen: Vandenhoeck und Ruprecht.
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.
The question of being in Husserl's Logical investigations.James R. Mensch - 1981 - Hingham, MA: Distributors for the U.S. and Canada, Kluwer Boston. Edited by Edmund Husserl.
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.
Einleitung. Logische Untersuchungen.Gottlob Frege - 1968 - Journal of Symbolic Logic 33 (2):282-284.
Logische Untersuchungen über die Grundlagen der Mathematik.Katudi Ono - 1939 - Journal of Symbolic Logic 4 (2):89-90.
Funktion, Begriff, Bedeutung.Gottlob Frege & Günther Patzig - 1962 - Göttingen,: Vandenhoeck & Ruprecht. Edited by Günther Patzig.
El método husserliano en las "Logische Untersuchungen".Luis Flores Hernández - 2004 - Anuario Filosófico 37 (78):17-32.
Formale Logik: logische Systeme: Einführung in die Metalogik.Ludwik Borkowski - 1976 - Berlin: Akademie Verlag. Edited by Lothar Kreiser.
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
Ono Katudi. Logische Untersuchungen über die Grundlagen der Mathematik. Journal of the Faculty of Science, Imperial University of Tokyo, section I, vol. 3 part 7 , pp. 329–389. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):89-90.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.

Analytics

Added to PP
2023-06-27

Downloads
3 (#1,704,746)

6 months
3 (#974,323)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Supposition: A Problem for Bilateralism.Nils Kürbis - 2023 - Bulletin of the Section of Logic 53 (3):301-327.
References.John Bengson & Marc A. Moffett - 2011 - In Knowing How: Essays on Knowledge, Mind, and Action. Oxford: Oxford University Press. pp. 361-386.
Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
Intuitionistic Mereology II: Overlap and Disjointness.Paolo Maffezioli & Achille C. Varzi - 2023 - Journal of Philosophical Logic 52 (4):1197-1233.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references