[Trac] [OpenMath] #45: CD logic1

[OpenMath]

#45: CD logic1
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Comment (by jauecker):

 There is an alternative version of this discussion at
 http://wiki.openmath.org/?title=cd%3Alogic1 , where it is directly linked
 to
 the CD, and where you can also discuss about individual symbols and even
 Properties and Examples. Please consider registering there.

-- 
Ticket URL: <https://trac.mathweb.org/OM3/ticket/45#comment:4>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.