Gentzen , Recherches sur la déduction logique [Book Review]

Revue Philosophique de la France Et de l'Etranger 147:249 (1957)
  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,386

External links

  • This entry has no external links. Add one.
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 - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Recherches sur la déduction logique.Gerhard Gentzen, Robert Feys & J. Landrière - 1955 - Presses Universitaires de France.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
Categorical abstract algebraic logic: Gentzen π ‐institutions and the deduction‐detachment property.George Voutsadakis - 2005 - Mathematical Logic Quarterly 51 (6):570-578.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
Normalization and Cut-Elimination in First-Order Logic.Anthony Michael Ungar - 1986 - Dissertation, Stanford University
A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.
Normal Gentzen deductions in the classical case.A. Palmigiano - 2000 - Logic Journal of the IGPL 8 (2):211-219.
A sequent calculus isomorphic to gentzen’s natural deduction.Jan von Plato - 2011 - Review of Symbolic Logic 4 (1):43-53.
Fully Adequate Gentzen Systems And The Deduction Theorem.Josep Font, Ramon Jansana & Don Pigozzi - 2001 - Reports on Mathematical Logic:115-165.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Questions de logique juridique dans l'histoire de la philosophie du Droit (1).Recherches de Logique - 1967 - Logique Et Analyse 37:3.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references