next up previous contents
Next: Soundness Up: Propositional Languages Previous: Set of Support Resolution

Metatheory


 
Selmer Bringsjord
1999-04-19