David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Linguistics and Philosophy 20 (6):637-667 (1997)
We describe a categorial system (PPTS) based on partial proof trees(PPTs) as the building blocks of the system. The PPTs are obtained byunfolding the arguments of the type that would be associated with a lexicalitem in a simple categorial grammar. The PPTs are the basic types in thesystem and a derivation proceeds by combining PPTs together. We describe theconstruction of the finite set of basic PPTs and the operations forcombining them. PPTS can be viewed as a categorial system incorporating someof the key insights of lexicalized tree adjoining grammar, namely the notionof an extended domain of locality and the consequent factoring of recursionfrom the domain of dependencies. PPTS therefore inherits the linguistic andcomputational properties of that system, and so can be viewed as a middleground between a categorial grammar and a phrase structure grammar. We alsodiscuss the relationship between PPTS, natural deduction, and linear logicproof-nets, and argue that natural deduction rather than a proof-net systemis more appropriate for the construction of the PPTs. We also discuss howthe use of PPTs allows us to localize the management of resources, therebyfreeing us from this management as the PPTs are combined.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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
No references found.
Citations of this work BETA
Aravind K. Joshi (2004). Starting with Complex Primitives Pays Off: Complicate Locally, Simplify Globally. Cognitive Science 28 (5):637-668.
Robert Frank (2004). Restricting Grammatical Complexity. Cognitive Science 28 (5):669-697.
Similar books and articles
Jochen Dörre, Esther König & Dov Gabbay (1996). Fibred Semantics for Feature-Based Grammar Logic. Journal of Logic, Language and Information 5 (3-4):387-422.
Raffaella Bernardi (2004). Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13 (2):121-137.
Yde Venema (1996). Tree Models and (Labeled) Categorial Grammar. Journal of Logic, Language and Information 5 (3-4):253-277.
Added to index2009-01-28
Total downloads2 ( #354,406 of 1,102,748 )
Recent downloads (6 months)0
How can I increase my downloads?