Xref: utzoo sci.logic:1359 sci.math:18216 comp.misc:12988
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!mips!pacbell.com!ucsd!sdcc6!sdcc13!sboswell
From: sboswell@sdcc13.ucsd.edu (....What Is?....)
Newsgroups: sci.logic,sci.math,comp.misc
Subject: 3-state algebra
Message-ID: <20878@sdcc6.ucsd.edu>
Date: 22 Jun 91 04:58:34 GMT
Sender: news@sdcc6.ucsd.edu
Followup-To: sci.logic
Organization: UC San Diego - 1991 "Wannabe Real College" finalist
Lines: 15

Has anyone done for "yes, no, unknown" what Boolean algebra did for
"yes, no"?  I'm writing a Prolog-like engine for "yes, no, unknown"
and would like to avoid reinventing the wheel on this as much as I
can.

Please mail answers, I will post a summary.

Thanks in advance!

If this has been discussed thoroughly already, well, we all gotta
learn it somehow... :)

Steve Boswell
whatis@gnu.ai.mit.edu
whatis@ucsd.edu