[sci.logic] 3-state algebra

sboswell@sdcc13.ucsd.edu (....What Is?....) (06/22/91)

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