
Multiple-Conclusion Logic
Cambridge University Press
Published on 11. January 2009
Book
Paperback/Softback
416 pages
978-0-521-09332-3 (ISBN)
Description
Multiple-conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere among the conclusions if all the premises are true. The extension opens up interesting possibilities based on the symmetry between premises and conclusions, and can also be used to throw fresh light on the conventional logic and its limitations. This is a sustained study of the subject and is certain to stimulate further research. Part I reworks the fundamental ideas of logic to take account of multiple conclusions, and investigates the connections between multiple - and single - conclusion calculi. Part II draws on graph theory to discuss the form and validity of arguments independently of particular logical systems. Part III contrasts the multiple - and the single - conclusion treatment of one and the same subject, using many-valued logic as the example; and Part IV shows how the methods of 'natural deduction' can be matched by direct proofs using multiple conclusions.
More details
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Product notice
Paperback (trade)
Illustrations
Worked examples or Exercises
Dimensions
Height: 229 mm
Width: 152 mm
Thickness: 24 mm
Weight
672 gr
ISBN-13
978-0-521-09332-3 (9780521093323)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
D. J. Shoesmith | T. J. Smiley
Multiple-Conclusion Logic
Book
07/1978
Cambridge University Press
€93.00
Article exhausted; check for reprint
Previous edition
D. J. Shoesmith | T. J. Smiley
Multiple-Conclusion Logic
Book
07/1978
Cambridge University Press
€93.00
Article exhausted; check for reprint
Content
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.