Elementary Logics: A Procedural Perspective (Ellis Horwood Series in Artificial Intelligence)

Gabbay, Dov

ISBN 10: 0137263651 / ISBN 13: 9780137263653

Verlag: Prentice Hall Europe, 1998

Beschreibung

Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Bestandsnummer des Verkäufers M00137263651-V

Bibliografische Details

• Titel: Elementary Logics: A Procedural Perspective (Ellis Horwood Series in Artificial Intelligence)
• Verlag: Prentice Hall Europe
• Erscheinungsjahr: 1998
• Sprache: Englisch
• ISBN-10: 0137263651
• ISBN-13: 9780137263653
• Einband: Softcover
• Zustand: very good

Über diesen Titel

Inhaltsangabe

Logic is applied in a wide variety of subjects, from software engineering and hardware design to programming and artificial intelligence. In this way, it has served to stimulate the search for clear conceptual foundations. In recent years, many extensions of classical logic such as temporal, modal, relevance and fuzzy logics have been widely used in computer science. Therefore, a new formulation of classical logic is needed which can naturally be modified to yield the effect of non-classical logics. Elementary Logics: A Procedural Perspective aims to introduce classical logic in such a way that one can also easily deviate into discussing non-classical logics. This text clarifies the definition differences between logics and allows the reader to comprehend how these small differences and their magnified effects can be understood by applying concepts common to all logics. The most common logic is introduced at the beginning of the text, with the basic notions which will be transferred to each of the logics examined. The definition of classical proportional logic is interfered with to obtain a number of non-classical logics, before returning to the classical world to present a natural deduction method for determining the truth of statements.

Reseña del editor

The paradigm of logic as an executable language is currently based on classical logic, and yet there is no existing formulation of classical logic which leads naturally to, and supports, this paradigm. Recently many extensions of classical logic have been used in computer science including temporal, modal, relevance and fuzzy logics, but resolution becomes even less intuitive if extended to handle these logics. This book presents a new formulation of classical logic which can be naturally modified to yield the effect of non-classical logics.