Archive for Mathematical Logic 45 (4):447-503 (2005)

Authors
Abstract
We study the formal first order system TIND in the standard language of Gentzen's LK . TIND extends LK by the purely logical rule of term-induction, that is a restricted induction principle, deriving numerals instead of arbitrary terms. This rule may be conceived as the logical image of full induction.
Keywords Term induction  Successor Induction  Herbrand's theorem  Generalisation of Proofs
Categories (categorize this paper)
Reprint years 2006
DOI 10.1007/s00153-005-0327-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,742
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Cut Normal Forms and Proof Complexity.Matthias Baaz & Alexander Leitsch - 1999 - Annals of Pure and Applied Logic 97 (1-3):127-177.
Sets of Theorems with Short Proofs.Daniel Richardson - 1974 - Journal of Symbolic Logic 39 (2):235-242.
Generalizing Theorems in Real Closed Fields.Matthias Baaz & Richard Zach - 1995 - Annals of Pure and Applied Logic 75 (1-2):3-23.
Some Results on Speed-Up.Tsuyoshi Yukami - 1984 - Annals of the Japan Association for Philosophy of Science 6 (4):195-205.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Herbrand Consistency of Some Arithmetical Theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
Remarks on Herbrand Normal Forms and Herbrand Realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.
On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.
The Role of Parameters in Bar Rule and Bar Induction.Michael Rathjen - 1991 - Journal of Symbolic Logic 56 (2):715-730.
On Probabilism and Induction.John Hosack - 1991 - Topoi 10 (2):227-229.
Necessary Use of [Image] Induction in a Reversal.Itay Neeman - 2011 - Journal of Symbolic Logic 76 (2):561 - 574.
The Rationality of Induction.D. C. Stove - 1986 - Oxford, UK: Oxford University Press.
LEt ® , LR °[^( ~ )], LK and Cutfree Proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.

Analytics

Added to PP index
2013-11-23

Total views
19 ( #517,944 of 2,350,089 )

Recent downloads (6 months)
1 ( #512,429 of 2,350,089 )

How can I increase my downloads?

Downloads

My notes