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

[OpenMath]

#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 clange):

 Replying to [comment:3 jhd]:
 > Thanks. I forgot the extra 'contrib'. God knows where this CD came from,
 but I would like to shoot it (and talk to the author) It makes MathML2
 condition look positively reasonable! Furthermore, maing things convenient
 for textbook authors ought not, in my view, to be an OM motivation.
 Just grep for "taka" and ".tfb".  Looks like those other CDs from Kōbe
 University (http://www.math.kobe-u.ac.jp/OCD).

 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.
 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.

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