First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

4.6 (5 ratings by Goodreads)
By (author) 

List price: US$99.00

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to automated theorem proving are considered and usable programs in Prolog are provided. This material can be used both as a first text in formal logic and as an introduction to automation issues, and is intended for those interested in computer science and mathematics at the beginning graduate level. The book begins with propositional logic, then treats first-order logic, and finally, first-order logic with equality. In each case the initial presentation is semantic: Boolean valuations for propositional logic, models for first-order logic, and normal models when equality is added. This defines the intended subjects independently of a particular choice of proof mechanism. Then many kinds of proof procedures are introduced: tableau, resolution, natural deduction, Gentzen sequent and axiom systems. Completeness issues are centered in a model existence theorem, which permits the coverage of a variety of proof procedures without repetition of detail. In addition, results such as compactness, interpolation, and the Beth definability theorem are easily established.
Implementations of tableau theorem provers are given in Prolog, and resolution is left as a project for the student.
show more

Product details

  • Paperback | 264 pages
  • 156 x 234 x 14mm | 375g
  • New York, NY, United States
  • English
  • Softcover reprint of the original 1st ed. 1990
  • black & white illustrations
  • 1468403591
  • 9781468403596

Rating details

5 ratings
4.6 out of 5 stars
5 60% (3)
4 40% (2)
3 0% (0)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X