Automation of Logic

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book's website and a solutions manual is available for qualifying instructors.

List of contents

Propositional Logic. First-Order Logic: Linear Arithmetic Structures. First-Order Logic: Ground Structures. First-Order Logic: Ground Structures with Theories. First-Order Logic: Free Structures. First-Order Logic: Free Structures with Theories.

Summary

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book’s website and a solutions manual is available for qualifying instructors.

Product details

• Authors: Christoph Weidenbach, Christoph (Max Planck Institute for In Weidenbach, Christoph (Max Planck Institute for Informatics Weidenbach, Weidenbach Christoph
• Publisher: Taylor & Francis Ltd.
• Languages: English
• Product format: Hardback
• Release: 05.01.2026
• EAN: 9781439875353
• ISBN: 978-1-4398-7535-3
• No. of pages: 400
• Series: Chapman & Hall/CRC Studies in Informatics Series; Chapman & Hall/CRC Studies in Informatics Series
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > General, dictionaries; COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, COMPUTERS / Programming / Games, MATHEMATICS / Set Theory, computer science, MATHEMATICS / Arithmetic, algorithms and data structures, Discrete Mathematics, Algorithms & data structures, Information technology: general issues, Information technology: general topics, Set theory