On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar

  • Philippe de Groote
  • Sylvain Pogodalla
  • Carl Pollard
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5514)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Blackburn, P., Bos, J.: Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI (2005)Google Scholar
  2. 2.
    Bach, E., Partee, B.H.: Anaphora and semantic structure (1980); Reprinted in Partee, B.H., Compositionality in Formal Semantics, pp. 122–152. BlackwellGoogle Scholar
  3. 3.
    Cooper, R.: Quantification and Syntactic Theory. Reidel, Dordrecht (1983)CrossRefGoogle Scholar
  4. 4.
    Pollard, C., Sag, I.A.: Head-Driven Phrase Structure Grammar. CSLI Publications, Stanford (1994); Distributed by University of Chicago PressGoogle Scholar
  5. 5.
    Cooper, R.: Montague’s Semantic Theory and Transformational Syntax. PhD thesis, University of Massachusetts at Amherst (1975)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Pollard, C.: Covert movement in logical grammar (submitted)Google Scholar
  8. 8.
    Pollard, C.: The calculus of responsibility and commitment (submitted)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Gazdar, G.: Unbounded dependencies and coordinate structure. Linguistic Inquiry 12, 155–184 (1981)Google Scholar
  11. 11.
    Lambek, J.: The mathematics of sentence structure. Amer. Math. Monthly 65, 154–170 (1958)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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/ MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    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
  15. 15.
    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
  16. 16.
    Hinderer, S.: Automatisation de la construction sémantique dans TYn. PhD thesis, Université Henri Poincaré – Nancy 1 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Philippe de Groote
    • 1
  • Sylvain Pogodalla
    • 1
  • Carl Pollard
    • 2
  1. 1.LORIA/INRIA Nancy – Grand EstFrance
  2. 2.The Ohio State UniversityUSA

Personalised recommendations