[Om] logic1 CD revision?

Clare So socm at mcmaster.ca
Tue Aug 15 07:32:57 CEST 2006


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


More information about the Om mailing list