Next:
The Grammar
Up:
First-Order Logic Resolution Theorem
Previous:
Introduction
Intepreting Language in First-Order Logic
Subsections
The Grammar
Monadic Combinator Parser For FOL
Convert Sentences to Conjunctive Normal Form
Convert Sentences to Implicative Normal Form
Handling Skolemization
Charles Chiou
2001-04-29
