Substructural Logics: A Primer

Substructural Logics: A Primer
复制标题

子结构逻辑：入门

DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Francesco Paoli
Francesco Paoli
中科院分区：
--
文献类型：
--
作者：
Francesco Paoli

文献摘要

被引文献

相似文献

序言。第一部分：子结构逻辑哲学。1.结构规则在结石中的作用。第二部分：子结构逻辑的证明理论。2.子结构逻辑的基本证明系统。3.排除法和决策问题。4.其他形式主义。第三部分：子结构逻辑的代数。5.代数结构6.代数语义学7.关系语义学。附录A：代数和图论的基本词汇表。附录B：其他子结构逻辑。参考书目。主题索引。
Preface. Part I: The philosophy of substructural logics. 1. The role of structural rules in sequent calculi. Part II: The proof theory of substructural logics. 2. Basic proof systems for substructural logics. 3. Cut elimination and the decision problem. 4. Other formalisms. Part III: The algebra of substructural logics. 5. Algebraic structures. 6. Algebraic semantics. 7. Relational semantics. Appendix A: Basic glossary of algebra and graph theory. Appendix B: Other substructural logics. Bibliography. Index of subjects.