[Om] logic1 CD revision?

[W Naylor]

Clare is of course correct here. Would it be sufficient to change the top 
level Description element to say:

This CD defines the operations of the two valued Boolean logic.

Bill

On Tue, 15 Aug 2006, Clare So wrote:

> Dear OpenMathers,
> 
> I would like to suggest that logic1 CD may need a revision.  The description
> of it does not say whether the functions are for two-value logic or not.  In
> some systems, three-value logic is used.  It would be better if we state the
> meanings of each OMS as explicit as possible.
> 
> Clare
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om
> 
> 
> 
> 

-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
-
-                  Dr. W.A. Naylor
-
-                  http://www.cs.bath.ac.uk/~wn
-                  http://orcca.on.ca/~bill
-
-                  work tel: +44 1225 386183
-
-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*