Re: Automated higher order logic

Article View: sci.logic

Article #130

#130

From: Mike Fourman
Date: Fri, 08 Jun 1990 13:29

11 lines
946 bytes

There are systems for computer-assisted proof in (various) higher-
order logic(s) under development and in use here at LFCS eg.
LEGO (Pollack)
LAMBDA (Abstract Hardwarte Ltd.)
ISABELLE (Paulson)


Prof. Michael P. Fourman                       email        mikef@lfcs.ed.ac.uk
Dept. of Computer Science                     'PHONE (+44) (0)31-667 1081 X2733
JCMB, King's Buildings                          FAX   (+44) (0)31 662 4712
Mayfield Road, Edinburgh EH9 3JZ, Scotland, UK

Technical Details

Message-ID: <4591@castle.ed.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcsun!ukc!edcastle!lfcs!mikef

References: <1990Jun7.164927.2631@ulrik.uio.no> <4571@castle.ed.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcsun!ukc!edcastle!lfcs!mikef
From: mikef@lfcs.ed.ac.uk (Mike Fourman)
Newsgroups: sci.logic,comp.lang.prolog
Subject: Re: Automated higher order logic
Message-ID: <4591@castle.ed.ac.uk>
Date: 8 Jun 90 13:29:52 GMT
References: <1990Jun7.164927.2631@ulrik.uio.no> <4571@castle.ed.ac.uk>
Reply-To: mikef@lfcs.ed.ac.uk (Mike Fourman)
Organization: Laboratory for the Foundations of Computer Science, Edinburgh U
Lines: 11

Reply to Parent Message