1. Getting started 2. Substructural logics and residuated lattices 3. Residuation and structure theory 4. Decidability 5. Logical and algebraic properties 6. completions and finite embeddability 7. Algebraic aspects of cut elimination 8. Glivenko theorems 9. Lattices of logics and varieties 10. Splittings 11. Semisimplicity
![]() |
Ask a Question About this Product More... |
![]() |