Multiple-Conclusion Logic

Multiple-Conclusion Logic

by D. J. Shoesmith, T. J. Smiley
     
 

This is a sustained study of the subject and is certain to stimulate further research.See more details below

Overview

This is a sustained study of the subject and is certain to stimulate further research.

Product Details

ISBN-13:
9780521093323
Publisher:
Cambridge University Press
Publication date:
01/11/2009
Pages:
416
Product dimensions:
6.00(w) x 9.00(h) x 1.10(d)

Related Subjects

Table of Contents

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >