Multiple-conclusion logic

Multiple-conclusion logic

by Shoesmith, D. J.

Type Book
Rate 0.0 /5

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 th…

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Multiple-conclusion logic / D.J. Shoesmith, T.J. Smiley.

Summary

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.

Read More ↓

Edition Statements

  • Publication Date:1978.

Publication Statements

Notes

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

The Physical Object

  • Description:1 online resource (1 recurso electrónico (xiii, 396 p.))

Edition Identifiers

  • ISBN:9780511565687, 0511565682
  • oclc:on1198273665
  • Dewey Decimal:551/.3

Writers

Shoesmith, D. J. Smiley, T. J., (Timothy John)

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Multiple-conclusion logic -- (.djvu)

    DJVU · 2.0 MB · updated
    Login →

  • Multiple-Conclusion Logic -- (.pdf)

    PDF · 7.4 MB · updated
    Login →
Log in to request a copy