Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!husc6!uwvax!oddjob!ncar!boulder!sunybcs!rapaport
From: rapaport@sunybcs.uucp (William J. Rapaport)
Newsgroups: comp.ai
Subject: Re: Proof Checker Wanted
Keywords: proof checker
Message-ID: <11214@sunybcs.UUCP>
Date: 13 May 88 16:13:55 GMT
References: <30133@aero.ARPA> <5069@ecsvax.UUCP>
Sender: nobody@sunybcs.UUCP
Reply-To: rapaport@sunybcs.UUCP (William J. Rapaport)
Organization: SUNY/Buffalo Computer Science
Lines: 35

In article <5069@ecsvax.UUCP> rgn@ecsvax.UUCP (Robert Norris) writes:
>In article <30133@aero.ARPA>, abbott@aero.ARPA (Russell J. Abbott) writes:
>> Does anyone have or know of a public domain, free, or cheap proof
>> checker that can be used by undergraduates to write and check simple
>> proofs.  I'm teaching an automata theory and formal languages course,
>
>[ requirements deleted ]
>
>I would also be interested in a proof checker for possible use in
>an Intro. to Theoretical Computer Science course.

Maybe this didn't get posted the first time?

There are proof checkers (as well as proof givers) for both propositional
and predicate-logic natural-deduction systems in:

Schagrin, Morton L.; Rapaport, William J.; & Dipert, Randall D. (1985)
Logic:  A Computer Approach (New York:  McGraw-Hill).

Software for them are available from:

LCA Software
c/o Prof. Randall R. Dipert
Department of Philosophy
State University College
Fredonia, NY 14063
dipert@cs.buffalo.edu
dipert@sunybcs.bitnet
					William J. Rapaport
					Assistant Professor

Dept. of Computer Science||internet:  rapaport@cs.buffalo.edu
SUNY Buffalo		 ||bitnet:    rapaport@sunybcs.bitnet
Buffalo, NY 14260	 ||uucp: {decvax,watmath,rutgers}!sunybcs!rapaport
(716) 636-3193, 3180     ||