RE: Bug in the DTD? (Three Valued Logic and Elimination Necessa ry ?)

Concerning the omission of NOT, I will fix this typo in the next version of
the draft.

-Saveen

-----Original Message-----
From: Jim Davis [mailto:jdavis@parc.xerox.com]
Sent: Tuesday, July 14, 1998 6:27 PM
To: 'John Stracke'; 'DASL'
Subject: RE: Bug in the DTD? (Three Valued Logic and Elimination
Necessary ?)


Omission of NOT was just a typo.  I daresay Saveen will fix it soon.

As you correctly point out, once you add NOT to the set of operators, then
you do indeed need the third value.

I will assume that we (still) have concensus on the need for three valued
logic unless I hear otherwise.  Please speak up if you (or anyone else)
objects.  It is fine to let silence mean consent.

Received on Wednesday, 15 July 1998 02:52:00 UTC