Structural Proof Theory

Klappentext A concise introduction to structural proof theory! a branch of logic studying the general structure of logical and mathematical proofs. Zusammenfassung Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively. Inhaltsverzeichnis Introduction; 1. From natural deduction to sequent calculus; 2. Sequent calculus for institutionistic logic; 3. Sequent calculus for classical logic; 4. The quantifiers; 5. Variants of sequent calculi; 6. Structural proof analysis of axiomatic theories; 7. Intermediate logical systems; 8. Back to natural deduction; Conclusion: diversity and unity in structural proof theory; Appendix A. Simple type theory and categorical grammar; Appendix B. Proof theory and constructive type theory; Appendix C. A proof editor for sequent calculus.

Product details

• Authors: Professor Sara Negri, Professor Sara Plato Negri, Sara Negri, Jan von Plato, Negri Sara, Jan von Plato
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 10.07.2008
• EAN: 9780521068420
• ISBN: 978-0-521-06842-0
• No. of pages: 276
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Natural sciences, medicine, IT, technology > Natural sciences (general); Non-fiction book > Philosophy, religion > Philosophy: general, reference works; SCIENCE / Philosophy & Social Aspects, Mathematics, Philosophy of Science, Mathematical logic, Philosophy: logic