A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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 Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
