A Study of Logics

Hardcover | April 30, 1999

byJohn P. Cleave

not yet rated|write a review
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.

Pricing and Purchase Info

$310.60 online
$405.00 list price (save 23%)
Ships within 1-3 weeks
Ships free on orders over $25

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 fo...

From the Publisher

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 ric...

From the Jacket

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 fo...

John P. Cleave is at University of Bristol.

other books by John P. Cleave

Istanbul: City of Two Continents
Istanbul: City of Two Continents

Kobo ebook|Feb 10 2012

$15.19 online$19.69list price(save 22%)
Washington: Scenes from a Capital City
Washington: Scenes from a Capital City

Kobo ebook|Feb 10 2012

$15.19 online$19.69list price(save 22%)
see all books by John P. Cleave
Format: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