A Study of Logics by John P. CleaveA Study of Logics by John P. Cleave

A Study of Logics

byJohn P. Cleave

Hardcover | April 30, 1999

Pricing and Purchase Info

$289.23 online 
$405.00 list price save 28%
Earn 1,446 plum® points

Prices and offers may vary in store

Quantity:

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.
John P. Cleave is at University of Bristol.
Loading
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:

Reviews

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