Articles liés à Complexity of Proofs and Their Transformations in Axiomatic...

Complexity of Proofs and Their Transformations in Axiomatic Theories - Couverture rigide

American Mathematical Society

 
9780821845769: Complexity of Proofs and Their Transformations in Axiomatic Theories
Couverture rigide
ISBN 10 : 0821845764 ISBN 13 : 9780821845769
Editeur : American Mathematical Society, 1993

Synopsis

The aim of this work is to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories. The main results are establishment of upper bounds on the elongation of deductions in cut eliminations; a proof that the length of a direct deduction of an existence theorem in the predicate calculus cannot be bounded above by an elementary function of the length of an indirect deduction of the same theorem; a complexity version of the existence property of the constructive predicate calculus; and, for certain formal systems of arithmetic, restrictions on the complexity of deductions that guarantee that the deducibility of a formula for all natural numbers in some finite set implies the deducibility of the same formula with a universal quantifier over all sufficiently large numbers.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
American Mathematical Society
Date d'édition
1993
Langue
anglais
ISBN 10 
0821845764
ISBN 13 
9780821845769
Reliure
Relié
Nombre de pages
153
Coordonnées du fabricant
non disponible
Personne responsable
non disponible