Partial proof trees as building blocks for a categorial grammar

Linguistics and Philosophy

Volumn 20, Issue 6, 1997, Pages 575-606

  Joshi, Aravind K ^a   Kulick, Seth ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 53249124738     PISSN: 01650157     EISSN: 15730549     Source Type: Journal    
DOI: 10.1023/a:1005363517259     Document Type: Article

References (30)

1. Abrusci, M.: 1991, 'Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Prepositional Logic', Journal of Symbolic Logic 56(4), 1403-1451.
2. Abrusci, M., Ch. Fouqueré, and J. Vauzeilles: 1996, Tree Adjoining Grammar and NonCommutative Linear Logic', in Proceedings of Logical Aspects of Computational Linguistics.
3. Bar-Hillel, Y., C. Gaifman, and F. Shamir: 1960, 'On Categorial and Phrase Structure Grammars', Bulletin of the Research Council of Israel 9F, 1-16.
4. Barry, G., M. Hepple, N, Leslie, and G. Morrill: 1991, 'Proof Figures and Structural Operators for Categorial Grammar', in Proceedings of the Fifth Conference of the European Chapter of the Association for Computational Linguistics.
5. Garrigue, J. and H. Aït-Kacï: 1994, The Typed Polymorphic Label-Selective λ-Calculus', POPL.
6. Girard, J.-Y.: 1995, 'Linear Logic: Its Syntax and Semantics', in Girard, Lafont, and Regnier (eds.), Advances in Linear Logic, Cambridge University Press, Cambridge, England, pp. 1-42.
7. Henderson, J.: 1992, A Structural Interpretation of Combinatory Categorial Grammar, University of Pennsylvania Technical Report, MS-CIS-92-49.
8. Johnson, M. : 1996, Natural Deduction and Proof Nets Intuitionislic Linear Logic, Manuscript, Brown University.
9. Joshi, A. K.: 1992, TAGs in Categorial Clothing', presented at the Tree Adjoining Grammar Workshop (TAG + ), Institute for Research in Cognitive Science, University of Pennsylvania, Philadelphia, June 1992. A revised version, 'Unfolded Types', was presented at the Logic and Language Workshop, LSA, Ohio State University, August 1993.
10. Joshi, A. K. and S. Kulick: 1997, 'Implementational Aspects of a Categorial Grammar Based on Partial Proof Trees', in Ginzburg et al. (eds.), The Tbilisi Symposium on Logic, Language and Computation, CSLI Publications.
11. Joshi, A, K. and Y. Schabes: 1997, Tree Adjoining Grammars', To appear in A. Saolmaa and G. Roscnbcrg (eds.), Handbook of Formal Languages and Automata, Vol. 3, SpringerVerlag, Heidelberg.
12. Joshi, A. K., K. Vijay-Shanker, and D. Weir: 1991, The Convergence of Mildly Contextsensitive Grammar Formalisms', in P. Sells, S. ShieberShieber, and T. Wasow (eds.), Foundational Issues in Natural Language Processing, Cambridge, MA: MIT Press.
13. Joshi, A. K., K. Vijay-Shanker, and D. Weir: 1988, 'Characterizing Structural Descriptions Produced by Various Grammatical Formalisms', in 23rd Annual Meeting of the Association for Computational Linguistics.
14. Kasper, R., B. Kiefer, K. Netter, and K. Vijay-Shanker: 1995, 'Compilation of HPSG to TAG', in 30th Annual Meeting of the Association for Computational Linguistics.
15. Kroch, A. S. and A, K. Joshi: 1985, The Linguistic Relevance of Tree Adjoining Grammars', Technical Report MS-CIS-85-16, Department of Computer and Information Science, University of Pennsylvania.
16. Lecomte and Retoré: 1995, 'Words as Modules and Modules as Partial Proof-Nets', in J. Benjamins (ed.), Proceedings of ICML 96, Tarragona.
17. Milward, D.: 1994, 'Non-Constituent Coordination: Theory and Practice", in Proceedings of the 15th International Conference on Computational Linguistics, Coling 94, Kyoto, Japan.
18. Moortgat, M.: 1988, Categoriat Investigations; Logical and Linguistic Aspects of the Lambek Calculus, Foris, Dordrecht.
19. Morrill, G.: 1994, Type-Logical Grammar, Kluwer, Dordrecht.
20. Morrill, G.: 1995, 'Clausal Proofs and Discontinuity', in Bulletin of the IGPL, Vol. 3, Nos. 2, 3, pp. 403-427.
21. Nadarhur, G. and D. Miller: 1988, 'An Overview of AProlog', in R. A. Kowalski and K. A. Bowen (eds.), Logic Programming: Proceedings of the Fifth International Conference and Symposium, Vol. 1, Seattle, WA, MIT Press, pp. 810-827.
22. Pollard, C.: 1988, 'Categorial Grammar and Phrase Structure Grammar: An Excursion on the Syntax-Semantics Frontier', in Oehrlc, Bach, and Whcclcr (eds.), Categorial Grammar and Natural Language Structures, Studies in Linguistics and Philosophy, Vol. 32, D. Reidel, Dordrecht, pp. 391-415.
23. Roorda, D.: 1991, Resource Logics: Proof-Theoretical Investigations, Ph.D. dissertation, Universiteit van Amsterdam.
24. Sarkar, A. and A. Joshi: 1991, 'Coordination in Tree Adjoining Grammars: Formalization and Implementation', in Proceedings of the International Conference on Computational Linguistics, COLING96, Copenhagen.
25. Steedman, M.: 1987, 'Combinatory Grammars and Parasitic Gaps', Natural Language and Linguistic Theory 5, 403-439.
26. Steedman, M.: 1997, Surface Structure and Interpretation, MIT Press, (in press).
27. Szabolcsi, A.: 1989, 'Bound Variables in Syntax: Are There Any?', in R. Bartsch, J. van Benthem, and P. van Emde Boas (eds.), Semantics and Contextual Expression, Foris, Dordrecht, pp. 295-318.
28. Vijay-Shanker, K.: 1992, 'Using Descriptions of Trees in a Tree Adjoining Grammar', Computational Linguistics 18(4), 481-517.
29. Xtag-Group: 1996, A Lexicaliied Tree Adjoining Grammar for English, Technical Report IRCS 95-03. University of Pennsylvania.
30. Yetter, D. N.: 1990, 'Quantales and (Noncommutative) Linear Logic', Journal of Symbolic Logic 55, 41-64.