Mechanizing Proof Theory
| Author | : Gianluigi Bellin |
| Publisher | : |
| Total Pages | : 494 |
| Release | : 1990 |
| ISBN-13 | : STANFORD:36105025701710 |
| ISBN-10 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Mechanizing Proof Theory by : Gianluigi Bellin
Download or read book Mechanizing Proof Theory written by Gianluigi Bellin and published by . This book was released on 1990 with total page 494 pages. Available in PDF, EPUB and Kindle. Book excerpt: In Part II we study Herbrand's Theorem in Linear Logic and the No Counterexample Interpretation in a fragment of Peano Arithmetic (section 10). As an application to Ramsey Theory we give a parametric form of the Ramsey Theorem, that generalizes the Infinite, the Finite and the Ramsey-Paris-Harrington Theorems for a fixed exponent (sections 10-13)."
