Early structural reasoning. Gentzen 1932

Review of Symbolic Logic 8 (4):662-679 (2015)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,660

External links

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

Through your library

Analytics

Added to PP
2015-09-03

Downloads
21 (#539,793)

6 months
1 (#388,311)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

Structural Counterfactuals: A Brief Introduction.Judea Pearl - 2013 - Cognitive Science 37 (6):977-985.
Representations of Structural Closure Operators.José Gil-Férez - 2011 - Archive for Mathematical Logic 50 (1-2):45-73.
Characterizing Belnap's Logic Via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
Structural Rules for Abduction.Ilka Niiniluoto - 2007 - Theoria 22 (3):325-329.
A Gentzen System for Conditional Logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Gentzen-Type Systems, Resolution and Tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.

Author's Profile

Enrico Moriconi
University of Pisa

References found in this work

The Collected Papers of Gerhard Gentzen.G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.
Gentzen's Proof Systems: Byproducts in a Work of Genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.

Add more references