Chris Goad

They Mudo1
Ashok Chendre1
Richard W Weyhtauch1
John Mccarthy1
1They Mudo
1Ashok Chendre
Learn More
  • Richard W Weyhrauch, Richard W Weyhtauch, They Mudo, John Mccarthy, Bill Glassmire, Ashok Chendre +5 others
  • 1998
This manual explains how to use of the proof checker FOL, and supersedes all previous manuals. FOL checks proofs of a natural deduction style formuiation of first order functional calculus with equality augumented in the following ways: (i) it is a many-sorted first-order logic in which a partiai order over the sorts may be specified; (ii) conditional(More)
  • 1