[Om3] On 'restricting bound variables' in Basic OpenMath

[Professor James Davenport]

On Thu, November 6, 2008 7:37 am, Michael Kohlhase wrote:
> Chris wrote
>> But can we even ask this without a 'Boolean type' in Basic Openmath?
Isn't <OMS name="Boolean" cd="setname2"/> good enough in this context?
> We do have the "Boolean CDs" logic1 and quant1 though, which supply much
> of the functionality at the CD level. I think OpenMath should stay with
> the structural properties of mathematical langauge and it is arguable
> whehter the existance of a Boolean type is one of them. It seems that
> the discussion has moved away from having one; for instance MathML1 had
> the <rel> variant of <apply> that was used for applying predicates. It
> is now one of the few deprecated elements of MathML.
Good point. There should be nothing LINGUISTICALLY special about a
two-valued Boolean - look at the problems CA systems have there
[Davenport, 2003]

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