Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion
Stockholm University, Faculty of Science, Department of Mathematics.ORCID iD: 0000-0001-9678-955X
2016 (English)In: ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, ISSN 2255-2863, Vol. 5, no 4, p. 19-42Article in journal (Refereed) Published
Abstract [en]

The paper introduces a technique for representing quantifier relations that can have different scope order depending on context. The technique is demonstrated by classes of terms denoting relations, where each of the arguments of a relation term is bound by a different quantifier. We represent a formalization of linking quantifiers with the corresponding argument slots that they bind, across lambda-abstractions and reduction steps. The purpose of the technique is to represent underspecified order of quantification, in the absence of a context and corresponding information about the order. Furthermore, it is used to represent subclasses of larger classes of relations depending on order of quantification or specific relations.

Place, publisher, year, edition, pages
2016. Vol. 5, no 4, p. 19-42
Keywords [en]
recursion, type-theory, semantics, algorithms, denotation, reduction, quantifiers, underspecification
National Category
Mathematics Computer Sciences Language Technology (Computational Linguistics)
Research subject
Computer Science; Computing Science; Computational Linguistics; Mathematical Logic; Mathematics
Identifiers
URN: urn:nbn:se:su:diva-141001DOI: 10.14201/ADCAIJ2016541942ISI: 000408490500002OAI: oai:DiVA.org:su-141001DiVA, id: diva2:1085158
Available from: 2017-03-28 Created: 2017-03-28 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textRelationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion

Search in DiVA

By author/editor
Loukanova, Roussanka
By organisation
Department of Mathematics
MathematicsComputer SciencesLanguage Technology (Computational Linguistics)

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 56 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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