Multiple-Conclusion Logic (Paperback)

Preface; Introduction; Part I. Multiple and Single Conclusions; 1. Single-conclusion calculi; 2. Multiple-conclusion calculi; 3. Tree proofs; 4. Axiomatisability; 5. Counterparts; 6. Infinite rules; Part II. Graph Proofs; 7. Graph arguments; 8. Kneale proofs; 9. Cross-reference; 10. Abstract proofs; 11. Single-conclusions proofs; 12. Infinite proofs; Part III: Many-valued Logic; 13. Many-valued calculi; 14. matrices; 15. Many-valuedness; 16. Counterparts; 17. Categoricity; 18. Two-valued logic; 19. Axiomatisation; Part IV. Natural Deduction; 20. Natural Deduction; Bibliography; Index.