W3C home > Mailing lists > Public > www-webdav-dasl@w3.org > July to September 1998

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

From: Saveen Reddy (Exchange) <saveenr@Exchange.Microsoft.com>
Date: Tue, 14 Jul 1998 23:52:17 -0700
Message-ID: <2FBF98FC7852CF11912A0000000000010B0CDB49@DINO>
To: "'DASL'" <www-webdav-dasl@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 22 March 2009 03:38:04 GMT