next up previous contents
Next: The syntax of the Up: The Watson Theorem Prover Previous: Strongly cantorian domains

The implementation of the logic in Watson

In this section, we discuss the ways in which the logical features described from a mathematical standpoint in the previous section are implemented in Watson.


Randall Holmes