Partial proof trees as building blocks for a categorial grammar

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 Linguistics   Philosophy of Language   Artificial Intelligence   Computational Linguistics   Semantics   Syntax
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1005311532280
 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
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,126
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Restricting Grammatical Complexity.Robert Frank - 2004 - Cognitive Science 28 (5):669-697.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

23 ( #219,693 of 2,171,820 )

Recent downloads (6 months)

1 ( #326,616 of 2,171,820 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums