Types as graphs: Continuations in type logical grammar [Book Review]
Graduate studies at Western
Journal of Logic, Language and Information 15 (4):331-370 (2006)
|Abstract||Using the programming-language concept of continuations, we propose a new, multimodal analysis of quantification in Type Logical Grammar. Our approach provides a geometric view of in-situ quantification in terms of graphs, and motivates the limited use of empty antecedents in derivations. Just as continuations are the tool of choice for reasoning about evaluation order and side effects in programming languages, our system provides a principled, type-logical way to model evaluation order and side effects in natural language. We illustrate with an improved account of quantificational binding, weak crossover, wh-questions, superiority, and polarity licensing|
|Keywords||continuations type-logical grammar resource sensitivity quantification polarity licensing binding superiority evaluation order staging delimited continuations|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi (2010). Proof-Theoretic Semantics for Subsentential Phrases. Studia Logica 94 (3):381 - 401.
Chris Barker (2007). Parasitic Scope. Linguistics and Philosophy 30 (4):407-444.
Chongli Zou & Nianxi Xia (2008). A Formal Treatment of the Causative Constructions in Chinese. Frontiers of Philosophy in China 3 (2):307-316.
Sean A. Fulop (2005). Semantic Bootstrapping of Type-Logical Grammar. Journal of Logic, Language and Information 14 (1):49-86.
Zou Chongli & Xia Nianxi (2008). A Formal Treatment of the Causative Constructions in Chinese. Frontiers of Philosophy in China 3 (2):307 - 316.
Sean A. Fulop (2010). Grammar Induction by Unification of Type-Logical Lexicons. Journal of Logic, Language and Information 19 (3):353-381.
Agustin Rayo (2006). Beyond Plurals. In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press.
Chung-Chieh Shan & Chris Barker (2006). Explaining Crossover and Superiority as Left-to-Right Evaluation. Linguistics and Philosophy 29 (1):91 - 134.
Added to index2009-01-28
Total downloads3 ( #213,563 of 739,315 )
Recent downloads (6 months)1 ( #61,243 of 739,315 )
How can I increase my downloads?