First-Order Logic and Automated Theorem Proving

Authors:

ISBN: 978-1-4612-7515-2 (Print) 978-1-4612-2360-3 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xvii

  2. No Access

    Chapter

    Pages 1-8

    Background

  3. No Access

    Chapter

    Pages 9-39

    Propositional Logic

  4. No Access

    Chapter

    Pages 41-76

    Semantic Tableaux and Resolution

  5. No Access

    Chapter

    Pages 77-107

    Other Propositional Proof Procedures

  6. No Access

    Chapter

    Pages 109-136

    First-Order Logic

  7. No Access

    Chapter

    Pages 137-150

    First-Order Proof Procedures

  8. No Access

    Chapter

    Pages 151-201

    Implementing Tableaux and Resolution

  9. No Access

    Chapter

    Pages 203-269

    Further First-Order Features

  10. No Access

    Chapter

    Pages 271-313

    Equality

  11. Back Matter

    Pages 315-326