Structural Proof Theory

€ 38,49
Lieferbar innert 2 Wochen
Juli 2008



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


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.


"...The book makes significant original contributions while remaining accessible to the logician/philosopher/mathematician who wants to learn elementary proof theory..." Aldo Antonelli, University of California, Irvine
EAN: 9780521068420
ISBN: 0521068428
Untertitel: black & white illustrations. Sprache: Englisch.
Verlag: Cambridge University Press
Erscheinungsdatum: Juli 2008
Seitenanzahl: 276 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben