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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
