Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!ucsd!sdd.hp.com!wuarchive!uunet!mcsun!ukc!cam-eng!tw606!img
From: img@eng.cam.ac.uk (Ian Green)
Newsgroups: comp.ai
Subject: Info on Weyhrauch's FOL wanted
Keywords: First Order Logic, FOL, formal reasoning, metatheory
Message-ID: <IMG.91May30152502@tw606.eng.cam.ac.uk>
Date: 30 May 91 20:25:01 GMT
Sender: @eng.cam.ac.uk
Organization: Engineering Department, Cambridge University, England.
Lines: 20
Nntp-Posting-Host: tw606.eng.cam.ac.uk



I'm looking for references on Richard Weyhrauch's work on FOL [1]
(especially that subsequent to this paper).  Of partiular interest is
material pertaining to reasoning about (Lisp) programs.

I would also like to know if any implementation of FOL is available
(eg. GET-FOL), and if so, relevant details.

[1] @article(Weyhrauch80,
	Author = {Weyhrauch, Richard W.},
	Title = {Prolegomena to a Theory of Mechanized Formal Reasoning},
	Year = {1980},
	Journal = AI,
	Volume = {13})

Many thanks for any help,
Ian Green                                         Department of Engineering
                 		  		  University of Cambridge
img@eng.cam.ac.uk				  Cambridge CB2 1PZ, England