David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
The eﬀort to align MathML 3 and OpenMath has led to a realisation that (pragmatic) MathML’s condition and domainofapplication elements, when used with quantiﬁers, do not have a neat expression in OpenMath. This paper analyzes the situation focusing on quantiﬁers and proposes a solution, via six new symbols. Two of them ﬁt completely within the existing OpenMath structure, and we place them in the associated quant3 CD. The others require a generalization of OMBIND. We also propose, logically separately but in the same area, a quant2 CD with existsuniquely, commonly written ∃!, and the ‘fusion’ symbol existsuniquelyin. In a second step we generalize the solution to the phenomenon of big operators that MathML 2 implicitly provides but which do not have a direct counterpart in the OpenMath CDs.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Jakub Szymanik & Marcin Zajenkowski (2011). Contribution of Working Memory in the Parity and Proportional Judgments. Belgian Journal of Linguistics 25:189-206.
Jakub Szymanik (2007). A Note on Some Neuroimaging Study of Natural Language Quantifiers Comprehension. Neuropsychologia 45 (9):2158-2160.
Michael Glanzberg (2007). Definite Descriptions and Quantifier Scope: Some Mates Cases Reconsidered. European Journal of Analytic Philosophy 3 (2):133-158.
Nina Gierasimczuk & Jakub Szymanik (2011). Invariance Properties of Quantifiers and Multiagent Information Exchange. In M. Kanazawa (ed.), Proceedings of the 12th Meeting on Mathematics of Language, Lecture Notes in Artificial Intelligence 6878. Springer
Ross P. Cameron (2007). Subtractability and Concreteness. Philosophical Quarterly 57 (227):273-279.
Added to index2011-03-17
Total downloads62 ( #72,691 of 1,934,966 )
Recent downloads (6 months)1 ( #435,001 of 1,934,966 )
How can I increase my downloads?