Structural Proof Theory

A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.

List of contents

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.

Summary

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.

Product details

• Authors: Sara Negri, Jan Von Plato, Aarne Ranta, Jan von Plato
• Publisher: Cambridge Academic
• Languages: English
• Product format: Hardback
• Released: 18.06.2001
• EAN: 9780521793070
• ISBN: 978-0-521-79307-0
• Dimensions: 160 mm x 235 mm x 21 mm
• Weight: 599 g
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Natural sciences, medicine, IT, technology > Mathematics > General, dictionaries; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; SCIENCE / Philosophy & Social Aspects, Mathematics, Philosophy of Science, Mathematical logic, Philosophy: logic