Types as Graphs: Continuations in Type Logical Grammar

12 years 9 months ago
Types as Graphs: Continuations in Type Logical Grammar
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a new, geometric (graph-theoretic) interpretation for in-situ quantification. The proposal also motivates the limited use of empty antecedents in derivations. In addition, because continuations are the tool of choice for reasoning about such things as evaluation order or parameter passing, our system provides a principled way to express generalizations concerning semantic side-effects within an ordinary multimodal typelogical framework. We illustrate the utility of these techniques by providing improved accounts of quantificational binding, weak crossover, wh-questions, superiority, and polarity licensing.
Chris Barker, Chung-chieh Shan
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Authors Chris Barker, Chung-chieh Shan
Comments (0)