Elementary Logics (Ellis Horwood Series in Artificial Intelligence) - Hardcover

Gabbay, Dov; Owens

Hardcover

ISBN 10: 0137263651 ISBN 13: 9780137263653

Verlag: Pearson Education Limited, 1998

Über diesen Titel

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.

Über diese Auflage

• Verlag: Pearson Education Limited
• Erscheinungsdatum: 1998
• ISBN 10: 0137263651
• ISBN 13: 9780137263653
• Einband: Tapa dura
• Anzahl der Seiten: 384