Propositional glue and the projection architecture of LFG

Linguistics and Philosophy 33 (3):141-170 (2010)
Although ‘glue semantics’ is the most extensively developed theory of semantic composition for LFG, it is not very well integrated into the LFG projection architecture, due to the absence of a simple and well-explained correspondence between glue-proofs and f-structures. In this paper I will show that we can improve this situation with two steps: (1) Replace the current quantificational formulations of glue (either Girard’s system F, or first order linear logic) with strictly propositional linear logic (the quantifier, unit and exponential free version of either MILL or ILL, depending on whether or not tensors are used). (2) Reverse the direction of the standard σ-projection from f-structure to meaning, giving one going from the (atomic nodes of) the glue-proof to the f-structure, rather than from the f-structure to a ‘semantic projection’ which is itself somehow related to the glue-proof. As a side effect, the standard semantic projection of LFG glue semantics can be dispensed with. A result is that LFG sentence structures acquire a level composed of strictly binary trees, constructed out of nodes representing function application and lambda abstraction, with a significant resemblance to external and internal merge in the Minimalist Program. This increased resemblance between frameworks might assist in making useful comparisons
Keywords Lexical-functional grammar  Glue semantics  Linear logic  Correspondence architecture  Syntax-semantics interface
Categories (categorize this paper)
DOI 10.1007/s10988-010-9079-9
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 23,201
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Pauline Jacobson (1999). Towards a Variable-Free Semantics. Linguistics and Philosophy 22 (2):117-185.
Jean-Yves Girard (1989). Proofs and Types. Cambridge University Press.
A. S. Troelstra (1991). Lectures on Linear Logic. Monograph Collection (Matt - Pseudo).

View all 19 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Miltiadis Kokkonidis (2008). First-Order Glue. Journal of Logic, Language and Information 17 (1):43-68.
Ash Asudeh (2005). Relational Nouns, Pronouns, and Resumption. Linguistics and Philosophy 28 (4):375 - 446.
Andreas Stokke (2013). Protagonist Projection. Mind and Language 28 (2):204-232.
David Kirsh (2009). Projection, Problem Space and Anchoring. Proceedings of the 31st Annual Conference of the Cognitive Science Society:2310-2315.

Monthly downloads

Added to index


Total downloads

51 ( #93,583 of 1,940,965 )

Recent downloads (6 months)

11 ( #88,256 of 1,940,965 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.