Investigations into Logical Deduction

, &
Journal of Symbolic Logic 35 (1):144-145 (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,881

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.Introduction.John Riser, Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144.
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Investigations into Logical Deduction: II.Gerhard Gentzen - 1965 - American Philosophical Quarterly 2 (3):204 - 218.
On the interaction of semantics and deduction in Transparent Intensional Logic.Jiří Raclavský - 2014 - Logic and Logical Philosophy 23 (1):57-68.
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
Kant, Hume, and Problems of the Deduction of the Categories.V. V. Vasil'ev - 1996 - Russian Studies in Philosophy 34 (4):51-65.
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.
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.
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
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.
Theory of completeness for logical spaces.Kensaku Gomi - 2009 - Logica Universalis 3 (2):243-291.
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.
Logical investigations.Edmund Husserl - 2000 - New York: Routledge. Edited by Dermot Moran.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.

Analytics

Added to PP
2017-02-21

Downloads
29 (#550,776)

6 months
6 (#520,848)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.

View all 41 citations / Add more citations

References found in this work

No references found.

Add more references