Logic of Arithmetic

Felscher Walter

ISBN 10: 9056992686 / ISBN 13: 9789056992682

Edité par Taylor & Francis Group, 2000

A propos de cet article

pp. 312 This item is printed on demand.

N° de réf. du vendeur 5360621

Détails bibliographiques

• Titre: Logic of Arithmetic
• Éditeur: Taylor & Francis Group
• Date de parution: 2000
• Langue: anglais
• ISBN à 10 chiffres: 9056992686
• ISBN à 13 chiffres: 9789056992682
• Reliure: Couverture rigide
• État de l'article: New

A propos de ce titre

Synopsis

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.

À propos de l?auteur

Felscher, Walter