[Om3] binary vs n-ary relations

[Paul Libbrecht]

Le 25-sept.-08 à 10:29, Michael Kohlhase a écrit :
>
>>> This can certainly be part of the pragmatic to strict translation  
>>> right?
>> This would be an excellent idea.=


My OM3 voice says +1 for the proposal below.
I still miss "where is the translation".

paul


> So can we get a consensus here? We have a telcon this afternoon, where
> we can probably decide this. So if I interpret what I have seen, your
> preference would be:
>
> 1. relation symbols are binary!!!!
>
> 2. we still have pragmatic MathML of the form
>     <apply><eq/>a b c</apply>
>     but that will be translated to
>     <apply>
>       <csymbol cd="logic1">and</csymbol>
>       <apply><csymbol cd="relation1">eq</csmbol>a b</csmbol></apply>
>       <apply><csymbol cd="relation1">eq</csmbol>b c</csmbol></apply>
>     </apply>
>     in the content to strict translation.
>
> Michael
>> James Davenport
>> Hebron & Medlock Professor of Information Technology
>> Formerly RAE Coordinator and Undergraduate Director of Studies, CS  
>> Dept
>> Lecturer on CM30070, 30078, 50209, 50123, 50199
>> Chairman, Powerful Computing WP, University of Bath
>> OpenMath Content Dictionary Editor
>> IMU Committee on Electronic Information and Communication
>>
>> _______________________________________________
>> Om3 mailing list
>> Om3 at openmath.org
>> http://openmath.org/mailman/listinfo/om3
>>
>
> -- 
> ----------------------------------------------------------------------
> Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62
> Professor of Computer Science     Campus Ring 12,
> School of Engineering & Science   D-28759 Bremen, Germany
> Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
> m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase
> skype: m.kohlhase   * International University Bremen until Feb. 2007
> ----------------------------------------------------------------------
>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20080925/f3e474a1/attachment.bin