Abstract
Cooper’s storage technique for scoping in situ operators has been employed in theoretical and computational grammars of natural language (NL) for over thirty years, but has been widely viewed as ad hoc and unprincipled. Recent work by Pollard within the framework of convergent grammar (CVG) took a step in the direction of clarifying the logical status of Cooper storage by encoding its rules within an explicit but nonstandard natural deduction (ND) format. Here we provide further clarification by showing how to encode a CVG with storage within a logical grammar framework—abstract categorial grammar (ACG)—that utilizes no logical resources beyond those of standard linear deduction.
The authors wish to acknowledge support from the Conseil Régional de Lorraine.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Blackburn, P., Bos, J.: Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI (2005)
Bach, E., Partee, B.H.: Anaphora and semantic structure (1980); Reprinted in Partee, B.H., Compositionality in Formal Semantics, pp. 122–152. Blackwell
Cooper, R.: Quantification and Syntactic Theory. Reidel, Dordrecht (1983)
Pollard, C., Sag, I.A.: Head-Driven Phrase Structure Grammar. CSLI Publications, Stanford (1994); Distributed by University of Chicago Press
Cooper, R.: Montague’s Semantic Theory and Transformational Syntax. PhD thesis, University of Massachusetts at Amherst (1975)
Montague, R.: The proper treatment of quantification in ordinary english. In: Hintikka, J., Moravcsik, J., Suppes, P. (eds.) Approaches to natural language: proceedings of the 1970 Stanford workshop on Grammar and Semantics. Reidel, Dordrecht (1973)
Pollard, C.: Covert movement in logical grammar (submitted)
Pollard, C.: The calculus of responsibility and commitment (submitted)
de Groote, P.: Towards abstract categorial grammars. In: Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference, pp. 148–155 (2001)
Gazdar, G.: Unbounded dependencies and coordinate structure. Linguistic Inquiry 12, 155–184 (1981)
Lambek, J.: The mathematics of sentence structure. Amer. Math. Monthly 65, 154–170 (1958)
Curry, H.: Some logical aspects of grammatical structure. In: Jakobson, R. (ed.) Studies of Language and its Mathematical Aspects, Providence, Proc. of the 12th Symp. Appl. Math., pp. 56–68 (1961)
de Groote, P., Pogodalla, S.: On the expressive power of abstract categorial grammars: Representing context-free formalisms. Journal of Logic, Language and Information 13(4), 421–438 (2004), http://hal.inria.fr/inria-00112956/fr/
de Groote, P., Maarek, S.: Type-theoretic extensions of abstract categorial grammars. In: New Directions in Type-Theoretic Grammars, proceedings of the workshop, pp. 18–30 (2007), http://let.uvt.nl/general/people/rmuskens/ndttg/ndttg2007.pdf
Pogodalla, S.: Generalizing a proof-theoretic account of scope ambiguity. In: Geertzen, J., Thijsse, E., Bunt, H., Schiffrin, A. (eds.) Proceedings of the 7th International Workshop on Computational Semantics - IWCS-7, Tilburg University, Deparment of Communication and Information Sciences, pp. 154–165 (2007), http://hal.inria.fr/inria-00112898
Hinderer, S.: Automatisation de la construction sémantique dans TYn. PhD thesis, Université Henri Poincaré – Nancy 1 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Groote, P., Pogodalla, S., Pollard, C. (2009). On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2009. Lecture Notes in Computer Science(), vol 5514. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02261-6_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-02261-6_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02260-9
Online ISBN: 978-3-642-02261-6
eBook Packages: Computer ScienceComputer Science (R0)