Next:
A Fitch-style Proof Theory
Up:
Propositional Languages
Previous:
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
Selmer Bringsjord
1999-04-19
