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 _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
