mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Quantifiers and n-ary binders: an OpenMath standard enhancement proposal
Umeå universitet.ORCID-id: 0000-0001-6140-180X
2013 (engelsk)Inngår i: 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 , 2013Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Aachen: Redaktion Sun SITE, Informatik V, RWTH Aachen , 2013.
Serie
CEUR Workshop Proceedings, ISSN 1613-0073 ; 1010
Emneord [en]
OpenMath, binder, XML encoding, binary encoding, Lindström quantifier, second-order logic, general logics, condition clause
HSV kategori
Forskningsprogram
matematik/tillämpad matematik
Identifikatorer
URN: urn:nbn:se:mdh:diva-21081OAI: oai:DiVA.org:mdh-21081DiVA, id: diva2:642953
Konferanse
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
Tilgjengelig fra: 2013-08-23 Laget: 2013-08-23 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

fulltext(816 kB)83 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 816 kBChecksum SHA-512
e26e17e152f2404a48b0072b0dd48f486a02b369812bf32202d45e5a53714e21fadac4d8d621c52c5a5079236031c0a3a4deaa4221c61827177d443615392045
Type fulltextMimetype application/pdf

Andre lenker

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

Personposter BETA

Hellström, Lars

Søk i DiVA

Av forfatter/redaktør
Hellström, Lars

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 83 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 67 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf