Investigations into Logical Deduction.Introduction

, , &
Journal of Symbolic Logic 35 (1):144 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271192

Links

PhilArchive



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

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

Investigations into Logical Deduction: II.Gerhard Gentzen - 1965 - American Philosophical Quarterly 2 (3):204 - 218.
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Introduction to the Logical investigations: a draft of a preface to the Logical investigations (1913).Edmund Husserl - 1975 - The Hague: Martinus Nijhoff. Edited by Edmund Husserl.
Logical investigations.Edmund Husserl - 2000 - New York: Routledge. Edited by Dermot Moran.
Logical Investigations Volume 1.Edmund Husserl - 2001 - New York: Routledge. Edited by Dermot Moran.
Logical Investigations Volume 2.Edmund Husserl - 2001 - Routledge.
On the interaction of semantics and deduction in Transparent Intensional Logic.Jiří Raclavský - 2014 - Logic and Logical Philosophy 23 (1):57-68.
Kant, Hume, and Problems of the Deduction of the Categories.V. V. Vasil'ev - 1996 - Russian Studies in Philosophy 34 (4):51-65.
"Introduction to the Logical Investigations," by Edmund Husserl, trans., with introduction by Philip J. Bessert and Curtis H. Peters. [REVIEW]Michael Gillespie - 1977 - Modern Schoolman 54 (3):304-305.
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.
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
Classical harmony: Rules of inference and the meaning of the logical constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.
Aristotle: an ancient mathematical logician.George Boger - unknown
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.

Analytics

Added to PP
2013-11-03

Downloads
17 (#867,741)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references