Multiple-Conclusion Logic

By: No Information Available

Write A Review

Paperback | 11 January 2009

At a Glance

Paperback
416 Pages

Dimensions(cm)
22.86 x 15.24 x 2.36

Paperback

RRP $87.95

$80.75

or 4 interest-free payments of $20.19 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Philosophy Philosophy & Logic Mathematics Mathematical Foundation Mathematical Logic Earth Sciences, Geography, Environment, Planning Earth Sciences Geology & The Lithosphere

Preface
Introduction
Multiple and Single Conclusions
Single-conclusion calculi
Multiple-conclusion calculi
Tree proofs
Axiomatisability
Counterparts
Infinite rules
Graph Proofs
Graph arguments
Kneale proofs
Cross-reference
Abstract proofs
Single-conclusions proofs
Infinite proofs
Many-valued Logic
Many-valued calculi
matrices
Many-valuedness
Counterparts
Categoricity
Two-valued logic
Axiomatisation
Natural Deduction
Natural Deduction
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Multiple-Conclusion Logic

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Foundation

Oxford Maths for Australian Schools Year 3 Value Pack

3rd Edition

Blueprints

How Mathematics Shapes Creativity

The Times Bumper Book of Codewords Book 2

300 compelling and addictive codewords

Oxford Maths for Australian Schools Year 6 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 4 Value Pack

3rd Edition

Oxford Maths for Australian Schools Year 2 Value Pack

3rd Edition

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Current Trends in Automated Reasoning

Maths Sequences for the Early Years F-2

Challenging Children to Reason Mathematically

Oxford Maths for Australian Schools Year 1 Value Pack

3rd Edition

Oxford Maths for Australian Schools Value Pack Year 5

Oxford Maths

Building Thinking Classrooms in Mathematics, Grades K-12

14 Teaching Practices for Enhancing Learning

Maths Plus Australian Curriculum Mentals and Homework Book - Year 2 (2023)

Maths Plus Australian Curriculum Edition

Teaching Secondary Mathematics

2nd Edition

Creating Number

How Humans Developed Natural, Complex, Real And Infinite Numbers

Creating Number

How Humans Developed Natural, Complex, Real And Infinite Numbers

The Times Ultimate Killer Su Doku Book 18

200 of the deadliest Su Doku puzzles

Secrets Of Mental Math

The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks

The Times Samurai Su Doku 14

100 extreme puzzles for the fearless Su Doku warrior

Unequal

The Maths of When Things Do and Don't Add Up

Alex's Adventures in Numberland

Tenth Anniversary Edition

Oxford Maths for Australian Schools Year F Value Pack

3rd Edition

The Language of Mathematics

The Stories behind the Symbols

This product is categorised by