Deduction : Automated Logic

Edited by 

List price: US$67.00

Currently unavailable

Add to wishlist

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

Try AbeBooks


This book presents a broad topic of automated deductive reasoning in a concise and comprehensive way. It contains a comprehensive collection of different deduction mechanisms, and features include extensive references and exercises. The book is intended for undergraduates and graduates of AI and cognitive science; teachers of courses on theorem-proving at MSc level; and research/development groups in industry.
show more

Product details

  • Hardback | 256 pages
  • 152.4 x 231.14 x 20.32mm | 340.19g
  • Academic Press Inc
  • San Diego, United States
  • English
  • bibliography, list of symbols
  • 012095835X
  • 9780120958351

Table of contents

Intellectics, characteristics of intelletics, inference and deduction, historical remarks, contents and structure of this book; deduction in propositional logic; problem reduction, the language of propositional logic, the semantics of propositional logic, a characterization of validity, normal form transformations, a simple connection calculus, general tautology testing; deduction in first-order logic, the language of first-order logic, the semantics of first-order logic, a characterisation of validity, normal form transformations, unification, deduction procedures and variants; compressions and strategies. Gentzen's calculus of natural deduction; the Tableau calculus; refined treatment of quantifiers and instances; connection redection (with Seeffen Holldobler); equality, term rewriting and unification theory, semantic search guidance, meta-inference, abstraction and analogy; parellelism, comparisons and complexity; extensions and applications; higher-order logic, induction, modal logic, further logics, applications and systems. Appendix: exercices and solutions, exercises on propositional logic, exercises on predicate logic and further topics, solutions to selected exercises.
show more