Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!unc!mcnc!akgua!sdcsvax!sdcrdcf!hplabs!sri-unix!dsteven%clemson.csnet@csnet-relay.arpa
From: dsteven%clemson.csnet@csnet-relay.arpa
Newsgroups: net.ai
Subject: Implementations of quantum logic?
Message-ID: <1842@sri-arpa.UUCP>
Date: Mon, 9-Jul-84 09:25:00 EDT
Article-I.D.: sri-arpa.1842
Posted: Mon Jul  9 09:25:00 1984
Date-Received: Sun, 15-Jul-84 23:48:20 EDT
Lines: 9

From:  D E Stevenson <dsteven%clemson.csnet@csnet-relay.arpa>

Does anyone out there have an interest in quantum logic?
Has any sort of implementation of a "theorem prover" ever
been attempted?  I would be interested in any experience, thoughts
etc. on this subject.

"Steve" Stevenson
dsteven@clemson