[Trac] [OpenMath] #99: logic1p is not a CD, just a CDDefinition

OpenMath trac at strawberry.eecs.jacobs-university.de
Thu Nov 6 00:07:22 CET 2008


#99: logic1p is not a CD, just a CDDefinition
---------------------------------+------------------------------------------
     Reporter:  clange           |          Owner:  jhd       
         Type:  defect           |         Status:  new       
     Priority:  major            |      Milestone:            
    Component:  OM2 Contrib CDs  |        Version:            
   Resolution:                   |       Keywords:            
Include_gantt:  0                |   Dependencies:            
   Due_assign:  YYYY/MM/DD       |      Due_close:  YYYY/MM/DD
---------------------------------+------------------------------------------
Comment (by jhd):

 Replying to [comment:4 clange]:
 > I agree that this symbol is not well designed.  In particular, the FMP
 is wrong, as the variable ''n'' is once referenced outside of the binder.
 Quite so.
 > However, I think that there are many motivations for using OpenMath.
 Think of adaptive documents, as e.g. in ActiveMath.  There you may want to
 have "semantic" markup for symbols whose appearance you want to adapt,
 even though your semantic markup is not sufficient from a computational or
 logical point of view.
 But if we are to process such a definition, it MUST have a meaning, even
 if incomplete (formally, a \lambda-expression with bound variables, that
 is waiting to be applied). If we just want it to "look like" something,
 then presentation MathML is there.

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


More information about the Trac mailing list