mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Quantifiers and n-ary binders: an OpenMath standard enhancement proposal
Umeå universitet.ORCID iD: 0000-0001-6140-180X
2013 (English)In: Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICMco-located with Conferences on Intelligent Computer Mathematics (CICM 2013), Aachen: Redaktion Sun SITE, Informatik V, RWTH Aachen , 2013Conference paper, (Refereed)
Abstract [en]

It is proposed that the restriction in the OpenMath standard that an OMBIND element must have exactly three children should be lifted, to support more general binder symbols. The case of logics with generalised quantifiers is described in some detail, since these turn out to not have a natural encoding within OpenMath 2.0, because of precisely this restriction. That restricting quantifiers to a single body should have such consequences is not trivial, but follows from a theorem in the Logic branch of Philosophy.

Place, publisher, year, edition, pages
Aachen: Redaktion Sun SITE, Informatik V, RWTH Aachen , 2013.
Series
CEUR Workshop Proceedings, ISSN 1613-0073 ; 1010
Keyword [en]
OpenMath, binder, XML encoding, binary encoding, Lindström quantifier, second-order logic, general logics, condition clause
National Category
Algebra and Logic Software Engineering
Research subject
Mathematics/Applied Mathematics
Identifiers
URN: urn:nbn:se:mdh:diva-21081OAI: oai:DiVA.org:mdh-21081DiVA: diva2:642953
Conference
MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICMco-located with Conferences on Intelligent Computer Mathematics (CICM 2013), Bath, UK, July 9 - 10
Available from: 2013-08-23 Created: 2013-08-23 Last updated: 2013-10-16Bibliographically approved

Open Access in DiVA

fulltext(816 kB)65 downloads
File information
File name FULLTEXT01.pdfFile size 816 kBChecksum SHA-512
e26e17e152f2404a48b0072b0dd48f486a02b369812bf32202d45e5a53714e21fadac4d8d621c52c5a5079236031c0a3a4deaa4221c61827177d443615392045
Type fulltextMimetype application/pdf

Other links

http://ceur-ws.org/Vol-1010/paper-21.pdfhttp://ceur-ws.org/Vol-1010/

Search in DiVA

By author/editor
Hellström, Lars
Algebra and LogicSoftware Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 65 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 37 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf