First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

4.67 avg rating
( 3 ratings by Goodreads )
 
9780387972336: First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 35.00
US$ 135.02

Convert Currency

Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Add to Basket

Other Popular Editions of the Same Title

9781468403596: First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)

Featured Edition

ISBN 10:  1468403591 ISBN 13:  9781468403596
Publisher: Springer, 2012
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Fitting, Melvin, Fitting
Published by Springer-Verlag Telos (1990)
ISBN 10: 0387972331 ISBN 13: 9780387972336
New Hardcover Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Telos, 1990. Hardcover. Condition: New. Never used!. Seller Inventory # P110387972331

More information about this seller | Contact this seller

Buy New
US$ 135.02
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds