A Study of Logics by John P. Cleave

A Study of Logics

byJohn P. Cleave

Hardcover | April 30, 1999

not yet rated|write a review

Pricing and Purchase Info

$305.68 online 
$405.00
Earn 1528 plum® points

In stock online

Ships free on orders over $25

Not available in stores

about

It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book theauthor presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence. Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, andartificial intelligence will enjoy this introductory survey to the field.

About The Author

John P. Cleave is at University of Bristol.
Istanbul: City of Two Continents
Istanbul: City of Two Continents

by John Cleave, John Freely

$15.99$19.98

Available for download

Not available in stores

Washington: Scenes from a Capital City
Washington: Scenes from a Capital City

by John Cleave, Benjamin Forgey

$15.99$19.98

Available for download

Not available in stores

Introducing Practical Guides: Free eBook Sampler
Introducing Practical Guides: Free eBook Sampler

by Clair Pollard

$0.00

Available for download

Not available in stores

Shop this author

Details & Specs

Title:A Study of LogicsFormat:HardcoverDimensions:430 pages, 9.21 × 6.14 × 1.06 inPublished:April 30, 1999Publisher:Oxford University Press

The following ISBNs are associated with this title:

ISBN - 10:0198532113

ISBN - 13:9780198532118

Look for similar items by category:

Customer Reviews of A Study of Logics

Reviews

Extra Content

From Our Editors

This book seeks the unity in this diversity by asking what properties a structure should have to qualify it to be a logic. It does not provide a complete atlas of the logic manifold but prepounds a principle which, though it makes neither the crooked straight nor the rough places plane, facilitates the drawing of local charts of the fortuitous crookedness of real logical highways and byways.

Editorial Reviews

`will be welcomed by enthusiasts in the field as containing ... the basic material ... and the behaviour of such connectives in a rannge of logics'Lloyd Humberstone, Australasia Journal of Philosophy, Vol. 73, No. 3