Complexity of Proofs and Their Transformations in Axiomatic Theories - Translations of Mathematical Monographs (Hardback)
  • Complexity of Proofs and Their Transformations in Axiomatic Theories - Translations of Mathematical Monographs (Hardback)
zoom

Complexity of Proofs and Their Transformations in Axiomatic Theories - Translations of Mathematical Monographs (Hardback)

£75.95
Hardback 153 Pages / Published: 30/10/1993
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: American Mathematical Society
ISBN: 9780821845769
Number of pages: 153
Weight: 510 g
Dimensions: 260 x 184 mm

You may also be interested in...

So You've Been Publicly Shamed
Added to basket
£8.99   £6.99
Paperback
The Lies That Bind
Added to basket
The Little Book of Ikigai
Added to basket
The Road Less Travelled
Added to basket
Why Marx Was Right
Added to basket
Ikigai
Added to basket
£12.99   £9.99
Hardback
On the Shortness of Life
Added to basket
£4.99
Paperback
The Art of Logic
Added to basket
£14.99
Hardback
12 Rules for Life
Added to basket
£20.00   £16.00
Hardback
Against Empathy
Added to basket
£9.99
Paperback
Enlightenment Now
Added to basket
£12.99
Paperback
The Order of Time
Added to basket
£12.99
Hardback
The Tipping Point
Added to basket
£9.99   £7.99
Paperback
Utopia for Realists
Added to basket
£8.99   £7.99
Paperback
A Little History of Philosophy
Added to basket
£9.99   £7.99
Paperback
Future Politics
Added to basket
£20.00
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.