Basic Proof Theory

Klappentext Introduction to proof theory and its applications in mathematical logic! theoretical computer science and artificial intelligence. Zusammenfassung This is an introduction to the basic ideas of structural proof theory. For the new edition! many sections have been rewritten to improve clarity! new sections have been added on cut elimination! and solutions to selected exercises have been included. Inhaltsverzeichnis 1. Introduction; 2. N-systems and H-systems; 3. Gentzen systems; 4. Cut elimination with applications; 5. Bounds and permutations; 6. Normalization for natural deduction; 7. Resolution; 8. Categorical logic; 9. Modal and linear logic; 10. Proof theory of arithmetic; 11. Second-order logic; Solutions to selected exercises. Bibliography; Symbols and notation; Index.

Product details

• Authors: H. Schwichtenberg, Helmut Schwichtenberg, A. S. Troelstra, A. S. Schwichtenberg Troelstra, Anne S. Troelstra
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 27.07.2000
• EAN: 9780521779111
• ISBN: 978-0-521-77911-1
• No. of pages: 432
• Series: Cambridge Tracts in Theoretical Computer Science; Cambridge Tracts in Theoretica; Cambridge Tracts in Theoretical Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT