Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

AML
2006

favoriteEmaildiscussreport

87views more AML 2006»

Herbrand's theorem and term induction

13 years 4 months ago

Herbrand's theorem and term induction

Download cl-informatik.uibk.ac.at

We study the formal rst 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.

Matthias Baaz, Georg Moser

Real-time Traffic

AML 2006 | Formal Rst Order | Logical Rule | Restricted Induction Principle |

claim paper

Related Content

» On a Generalisation of Herbrands Theorem

» A Hidden Herbrand Theorem

» Rewriting Induction Linear Arithmetic Decision Procedure

» History and Future of Implicit and Inductionless Induction Beware the Old Jade and the Zom...

» Development Separation in LambdaCalculus

» Determinacy in strong cardinal models

» Reasoning with hypothetical judgments and open terms in hybrid

» Modal Logic Should Say More Than It Does

» A BiDirectional Refinement Algorithm for the Calculus of CoInductive Constructions

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2006
Where	AML
Authors	Matthias Baaz, Georg Moser

Comments (0)