Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

logic1p is not a CD, just a CDDefinition #99

Closed
jbs1 opened this issue Jul 6, 2016 · 6 comments
Closed

logic1p is not a CD, just a CDDefinition #99

jbs1 opened this issue Jul 6, 2016 · 6 comments
Assignees

Comments

@jbs1
Copy link

jbs1 commented Jul 6, 2016

migrated from Trac, where originally posted by clange on 4-Nov-2008 6:58pm

logic1p consists just of one CDDefinition element

@jbs1
Copy link
Author

jbs1 commented Jul 6, 2016

migrated from Trac, where originally posted by jhd on 4-Nov-2008 11:03pm

Replying to [ticket:99 clange]:

logic1p consists just of one CDDefinition element
Wher do you get logic1p from?

@jbs1
Copy link
Author

jbs1 commented Jul 6, 2016

migrated from Trac, where originally posted by clange on 4-Nov-2008 11:07pm

Replying to [comment:1 jhd]:

Replying to [ticket:99 clange]:

logic1p consists just of one CDDefinition element
Wher do you get logic1p from?
https://svn.openmath.org/www/cdfiles2/contrib/cd/logic1p.ocd

(Note that I created the Trac component "OM2 Contrib CDs" for the contributed CDs in that directory.)

@jbs1 jbs1 self-assigned this Jul 6, 2016
@jbs1
Copy link
Author

jbs1 commented Jul 6, 2016

migrated from Trac, where originally posted by jhd on 4-Nov-2008 11:11pm

Replying to [comment:2 clange]:

Replying to [comment:1 jhd]:

Replying to [ticket:99 clange]:

logic1p consists just of one CDDefinition element
Wher do you get logic1p from?
https://svn.openmath.org/www/cdfiles2/contrib/cd/logic1p.ocd

(Note that I created the Trac component "OM2 Contrib CDs" for the contributed CDs in that directory.)
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.

@jbs1
Copy link
Author

jbs1 commented Jul 6, 2016

migrated from Trac, where originally posted by clange on 4-Nov-2008 11:30pm

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.

@jbs1
Copy link
Author

jbs1 commented Jul 6, 2016

migrated from Trac, where originally posted by jhd on 5-Nov-2008 11:07pm

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.

@kohlhase
Copy link
Member

kohlhase commented Oct 2, 2017

moved to OpenMath/CDs#26

@kohlhase kohlhase closed this as completed Oct 2, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants