Path: utzoo!attcan!uunet!cbmvax!rutgers!sunybcs!rapaport
From: rapaport@sunybcs.uucp (William J. Rapaport)
Newsgroups: comp.ai
Subject: Re: Proof Checker Wanted
Keywords: proof checker
Message-ID: <11210@sunybcs.UUCP>
Date: 13 May 88 14:00:04 GMT
References: <30133@aero.ARPA>
Sender: nobody@sunybcs.UUCP
Reply-To: rapaport@sunybcs.UUCP (William J. Rapaport)
Organization: SUNY/Buffalo Computer Science
Lines: 25

In article <30133@aero.ARPA> abbott@aerospace.aero.org (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.

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
					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     ||