Linguistics and Philosophy 20 (6):637-667 (1997)
AbstractWe describe a categorial system based on partial proof trees 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.
Similar books and articles
Partial proof trees as building blocks for a categorial grammar.Aravind K. Joshi & Seth Kulick - 1997 - Linguistics and Philosophy 20 (6):637-667.
Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - Notre Dame Journal of Formal Logic 44 (3):125-138.
A New Solution to a Problem of Hosoi and Ono.Michael Zakharyaschev - 1994 - Notre Dame Journal of Formal Logic 35 (3):450-457.
Principles of linguistic composition below and beyond the clause: elements of a semantic combinatorial system.Peer F. Bundgaard - 2006 - Pragmatics and Cognition 14 (3):501-526.
Semantic games with chance moves revisited: from IF logic to partial logic.Xuefeng Wen & Shier Ju - 2013 - Synthese 190 (9):1605-1620.
Propositional glue and the projection architecture of LFG.Avery D. Andrews - 2010 - Linguistics and Philosophy 33 (3):141-170.
Proof-theoretic semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
The Existential Quantifier, Composition and Contingency.Kristie Miller - 2010 - Erkenntnis 73 (2):211 - 235.
Added to PP
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
Starting with complex primitives pays off: complicate locally, simplify globally.Aravind K. Joshi - 2004 - Cognitive Science 28 (5):637-668.
On the expressive power of abstract categorial grammars: Representing context-free formalisms. [REVIEW]Philippe de Groote & Sylvain Pogodalla - 2004 - Journal of Logic, Language and Information 13 (4):421-438.
References found in this work
No references found.