[Trac] [OpenMath] #27: symbols for basic sts types?

OpenMath trac at strawberry.eecs.jacobs-university.de
Mon Jan 28 07:57:47 CET 2008

#27: symbols for basic sts types?
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  proposal    |         Status:  assigned        
     Priority:  major       |      Milestone:  MathML3CD Draft1
    Component:  MathML CDs  |        Version:                  
   Resolution:              |       Keywords:                  
Include_gantt:  0           |   Dependencies:                  
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD      
Comment (by kohlhase):

 Replying to [comment:1 jhd]:
 >  STS (Davenport2000) does NOT impose a fixed classification of types,
 and the semantics of AbelianSemiGroup are NOT specified. In particular,
 there are differences between constructive and non-constructive semantics
 here (Davenport et al1991a). Moving to a fixed classification would be a
 major change.

 James, could you please attach these two papers to this bug? Or point to
 where they are avaiable on the web?

Ticket URL: <https://trac.kwarc.info/OM3/ticket/27#comment:2>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.

More information about the Trac mailing list