11%OFF
![V. P. Orevkov - Complexity of Proofs and Their Transformations in Axiomatic Theories - 9780821845769 - V9780821845769 V. P. Orevkov - Complexity of Proofs and Their Transformations in Axiomatic Theories - 9780821845769 - V9780821845769](/images/unavailable-full.jpg)
Stock image for illustration purposes only - book cover, edition or condition may vary.
Complexity of Proofs and Their Transformations in Axiomatic Theories
V. P. Orevkov
€ 167.79
€ 149.47
FREE Delivery in Ireland
Description for Complexity of Proofs and Their Transformations in Axiomatic Theories
Hardback. Intends 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. Series: Translations of Mathematical Monographs Reprint. Num Pages: 153 pages. BIC Classification: HPL; PBCD; PBK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 260 x 184. Weight in Grams: 510.
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 ... Read more
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 ... Read more
Product Details
Format
Hardback
Publication date
1993
Publisher
American Mathematical Society United States
Number of pages
153
Condition
New
Series
Translations of Mathematical Monographs Reprint
Number of Pages
153
Place of Publication
Providence, United States
ISBN
9780821845769
SKU
V9780821845769
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Complexity of Proofs and Their Transformations in Axiomatic Theories