Next:
Syntax
Up:
Logic, Computability, and Uncomputability
Previous:
Exercises
Propositional Languages
Syntax
Semantics
Proof Theory
A Fitch-style Proof Theory
Resolution
Converting to Clausal Form
The Resolution Rule (Propositional Case)
Strategic Resolution and O
TTER
Binary Resolution
UR-Resolution
Hyper-resolution
Set of Support Resolution
Metatheory
Soundness
Completeness
Selmer Bringsjord
1999-04-19
