Substructural Logics: A Primer
暂无分享,去创建一个
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.