Chapter 13 – Labelled Deductive Systems

1. What is a logical system? 2. Introducing Labelled Deductive Systems 3. Algebraic LDS 4. General LDS 5. Resource logics 6. Translation of LDS 7. LDS formulation 8. Curry-Howard interpretation 9. Structured consequence relations 10. Labelled analytic deduction 11. Abduction in Labelled Deductive Systems