From: Ted Knupke
Subject: Re: where can I find a predicate calculus editor/theorem checker?
Date: Mon, 20 Sep 1999 16:44:40 -0400
Newsgroups: sci.math,sci.math.symbolic
Paul Elliott wrote:
> Is anyone aware of a predicate calculus editor/theorem checker?
>
> I was hoping for some software that would allow you to point and
> click at previous assertions or axioms, and have it write out
> the next assertion via the inference rule or substitution indicated.
>
> Does such a thing exist?
>
> Paul Elliott Telephone: 1(512)837-9345
> pelliott@io.com Address: PMB 181, 11900 Metric Blvd Suite J
> http://www.io.com/~pelliott/pme/ Austin TX 78758-3117
There are a number of theorem provers around that will do predicate
calculus. This has been on my own list of "things to look into" for a
while, but I have not had time to do anything. You might want to
check out some of the links at
http://www-formal.stanford.edu/clt/ARS/systems.html
Ted