Revising basic theorem proving algorithms to cope with the logic of partial functions
Addresses the task of modifying proof procedures to handle the Logic of Partial Functions. Re-uses as much as possible of the standard literature. Provides proofs of the things that have to be modified.
partial functions proof theorem proving systems lpf