Structural proof theory
Structural proof theory
复制标题
结构证明理论
DOI：
10.1017/cbo9780511527340
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
J. Plato
中科院分区：
文献类型：
--
作者：
Sara Negri;J. Plato
介绍1.从自然演绎到微积分2。制度逻辑的序贯演算3。经典逻辑的序列演算4.第五章. 6.第六章.公理化理论的结构证明分析7.中间逻辑系统8.回到自然演绎结论：结构证明理论中的多样性和统一性附录A.简单类型理论和范畴语法附录B。证明理论和构造型理论附录C.微积分的证明编辑器。
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.