Logic for Applications

Nerode, Anil; Shore, Richard A.

ISBN 10: 0387941290 / ISBN 13: 9780387941295

Published by Springer Verlag, NY, 1993

About this Item

Texts & Monographs In Computer Science; 6.5 X 0.75 X 9.75 inches; 365 pages.

Seller Inventory # 322333

Bibliographic Details

• Title: Logic for Applications
• Publisher: Springer Verlag, NY
• Publication Date: 1993
• Language: English
• ISBN 10: 0387941290
• ISBN 13: 9780387941295
• Binding: Hardcover
• Edition: First Edition.
• Condition: Very Good
• Dust Jacket Condition: No Dust Jacket As Issued

About this title

Synopsis

Logic for Applications presents a rigorous introduction to classical, intuitionistic, and modal logic. The book emphasizes deduction as a form of computation by examining the logical and mathematical foundations of resolution theorem proving and logic programming. These subjects are important for many areas of applications in computer science and artificial intelligence. Topics covered include soundness, completeness, and undecidability for classical, nonclassical, and computation-based logical systems as well as compactness and the theorems of Herbrand and Skolem-Lowenheim. In context of PROLOG, termination conditions, negation as failure, and the relations to nonmonotonic logic are all discussed.
This book is an ideal textbook for presenting classical and non-classical logic as well as logic programming to advanced undergraduate or beginning graduate students in computer science or mathematics. It contains a historical appendix and an extensive list of references for further studies in the field. No advanced mathematical background is required.

Review

From reviews of the first edition: "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." SIGACT News

From the reviews of the second edition:

"...the book achieves its goal of being a unified introduction into classical logic, logic programming and certain non-classical logics. ...the book succeeded in presenting a uniform framework for describing different logics. The author’s thorough approach to describing logic programming, via introduction of resolution-based refutations and subsequent study of different kinds of resolutions allows the reader to gradually switch from the study of logic to the study of logical programming paradigm and provides a lot of intuition about the behavior of logic programs.

As such the book can be recommended both as a textbook for senior/graduate course in logic/logic programming, and as a reading or reference for graduate students in the areas related to discrete mathematics."

(Alexander Dekhtyar, William Gasarch’s Book Review Column, SIGACT News)