@inproceedings{740c1a6d86af41deb3fd2b7dac2f5633,
title = "Scope as syntactic abstraction",
abstract = "What is the logic of scope? By “scope”, I mean scopetaking in natural languages such as English, as illustrated by the sentence Ann saw everyone. In this example, the quantifier denoted by everyone takes scope over the rest of the sentence, that is, it takes the denotation of the rest of the sentence as its semantic argument: everyone(λx.saw(x)(ann)). The answer I will give here will be to provide a substructural logic whose two modes are related by a single structural postulate. This postulate can be interpreted as constituting a kind of lambda-abstraction over structures, where the abstracted structures are interpreted as delimited continuations. I discuss soundness and completeness results, as well as cut elimination. I also compare the logic to a number of alternative approaches, including the standard technique of Quantifier Raising, and mention applications to scope ambiguity and parasitic scope.",
keywords = "Continuations, Natural language quantification, Parasitic scope, Quantifier raising, Scope, Substructural logic",
author = "Chris Barker",
year = "2015",
doi = "10.1007/978-3-662-48119-6_14",
language = "English (US)",
isbn = "9783662481189",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "184--199",
editor = "Tsuyoshi Murata and Koji Mineshima and Daisuke Bekki",
booktitle = "New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Revised Selected Papers",
note = "6th International Symposium on Artificial Intelligence, JSAI 2014 ; Conference date: 27-10-2014 Through 28-10-2014",
}