Substructural logics : a primer /
Substructural logics are by now one of the most prominent branches of the research field usually labelled as "nonclassical logics" - and perhaps of logic tout court. Over the last few decades a vast amount of research papers and even some books have been devoted to this subject. The aim of...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Science+Business Media,
[2002]
|
| Series: | Trends in logic ;
v. 13. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- 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.