• Part 2: First-order logic

• Other calculi

• Semantic tableaux (only the propositional case is presented)
• Hilbert calculi
• Gentzen calculi

• More calculi and proof mathods

• Instantiation-based methods
• Natural deduction
• Dealing with equality:
  Knuth-Bendix rewriting; term rewrite systems; superposition

Imprint | Data Protection