Combinatory Categorial Grammar as a Substructural Logic

— Preliminary Remarks —
  • Daisuke Bekki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6797)


This paper aims to provide a logical background for Combinatory Categorial Grammar (CCG) and its typological discussions. Based on the Curry-Howard correspondence between Gentzen-style proof systems and Lambek Lamda Calculi, and those between Hilbert-style proof systems and substructural BCWK-logic, I define a new class of logic which provides subclasses for each of the substructural combinatory logics, called Subdirectional Combinatory Logic, and propose that CCG is a subdirectional logic of a relevance logic (Combinatory Hypothesis). This hypothesis allows us to discuss typological parameters in universal grammar in terms of the presence/absence of a certain directional combinators.


Proof System Combinatory Logic Relevant Logic Substructural Logic Categorial Grammar 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Aarts, E., Trautwein, K.: Non-associative lambek categorial grammar in polynomial time. Mathematical Logic Quarterly 41(4), 485–504 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Ades, A.E., Steedman, M.J.: On the order of words. Linguistics and Philosophy 4, 517–558 (1982)CrossRefGoogle Scholar
  3. 3.
    Ajdukiewicz, K.: Die syntaktische konnexitat. Studia Philosophica 1, 1–27 (1935); transl. In: McCall, S. (ed.): Polish Logic in 1929-1939. Clarendon, Oxford (1967)zbMATHGoogle Scholar
  4. 4.
    Bar-Hillel, Y.: A quasi-arithmetical notation for syntactic description. Language 29, 47–58 (1953)CrossRefzbMATHGoogle Scholar
  5. 5.
    Bekki, D.: Formal Theory of Japanese Grammar: the conjugation system, categorial syntax, and dynamic semantics. Kuroshio Publisher, Tokyo (2010) (in Japanese)Google Scholar
  6. 6.
    Bos, J., Clark, S., Steedman, M.J., Curran, J.R., Hockenmaier, J.: Wide-coverage semantic representations from a ccg parser. In: COLING 2004, Geneva (2004)Google Scholar
  7. 7.
    Buszkowski, W.: The logic of types. In: Initiatives in Logic, pp. 180–206. Nijhoff, Dordrecht (1987)CrossRefGoogle Scholar
  8. 8.
    Buszkowski, W.: Mathematical linguistics and proof theory. In: van Benthem, J., ter Meulen, A.G.B. (eds.) Handbook of Logic and Language, pp. 683–736. Elsevier Science B.V., Amsterdam (1997)CrossRefGoogle Scholar
  9. 9.
    Buszkowski, W.: Categorial grammars and substructural logics (2010)Google Scholar
  10. 10.
    Girard, J.-Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics 3: Speech Acts, pp. 41–58. Academic Press, London (1975)Google Scholar
  12. 12.
    de Groote, P.: The non-associative lambek calculus with product in polynomial time. In: Automated Reasoning with Analytic Tableaux and Related Methods, pp. 128–139. Springer, Berlin (1999)CrossRefGoogle Scholar
  13. 13.
    de Groote, P., Lamarche, F.: Classical non-associative lambek calculus. Studia Logica 71, 355–388 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Hindley, J.R., Seldin, J.P.: Lambda-Calculus and Combinators: an Introduction. Cambridge University Press, Cambridge (2008)CrossRefzbMATHGoogle Scholar
  15. 15.
    Hockenmaier, J.: Data and Models for Statistical Parsing with Combinatory Categorial Grammar. Ph. d. thesis, University of Edinburgh (2003)Google Scholar
  16. 16.
    Hockenmaier, J., Steedman, M.J.: Ccgbank manual. Tech. rep., Department of Computer and Information Science, University of Pennsylvania (2005)Google Scholar
  17. 17.
    Jacobson, P.: Raising as function composition. Linguistics and Philosophy 13, 423–476 (1990)CrossRefGoogle Scholar
  18. 18.
    Jäger, G.: Lambek grammars as combinatory categorial grammars. Logic Journal of the IGPL 9(6), 79–781 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Jäger, G.: Anaphora and Type Logical Grammar. In: Trends in Logic. Springer, Heidelberg (2005)Google Scholar
  20. 20.
    Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly 65, 154–169 (1958)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Montague, R.: The proper treatment of quantification in ordinary english. In: Hintikka, J., Moravcsic, J., Suppes, P. (eds.) Approaches to Natural Language, pp. 221–242. Reidel, Dordrecht (1973)CrossRefGoogle Scholar
  22. 22.
    Moortgat, M.: Categorial type logics. In: van Benthem, J., ter Meulen, A.G.B. (eds.) Handbook of Logic and Language, pp. 93–177. Elsevier Science, Amsterdam (1997)CrossRefGoogle Scholar
  23. 23.
    Morrill, G.V.: Type Logical Grammar. Kluwer Academic Publishers, Dordrecht (1994)CrossRefzbMATHGoogle Scholar
  24. 24.
    Morrill, G.V.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, Oxford (2010)Google Scholar
  25. 25.
    Ogata, N.: Towards computational non-associative lambek lambda-calculi for formal pragmatics. In: The Fifth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 2008) in Conjunction with the 22nd Annual Conference of the Japanese Society for Artificial Intelligence 2008, Asahikawa, Japan, pp. 79–102 (2008)Google Scholar
  26. 26.
    Ono, H.: Structural rules and a logical hierarchy. In: Petokov, P. (ed.) The Summer School and the Conference ‘Heyting’88’, pp. 95–104. Plenum Press, New York (1990)Google Scholar
  27. 27.
    Partee, B., Rooth, M.: Generalized conjunction and type ambiguity. In: Bauerle, R., Schwarze, C., Von Stechow, A. (eds.) Meaning, Use and Interpretation of Language, pp. 361–393. Walter De Gruyter Inc., Berlin (1983)Google Scholar
  28. 28.
    Polakow, J., Pfenning, F.: Natural deduction for intuitionistic non-commutative linear logic. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol. 1581, pp. 295–309. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  29. 29.
    Priest, G.: An Introduction to Non-Classical Logic. Cambridge University Press, Cambridge (2001)zbMATHGoogle Scholar
  30. 30.
    Restall, G.: An Introduction to Substructural Logics. Routledge, London (2000)CrossRefzbMATHGoogle Scholar
  31. 31.
    Ross, J.R.: Constraints on Variables in Syntax. Unpublished ph.d. dissertation, MIT (1967)Google Scholar
  32. 32.
    Steedman, M.J.: Surface Structure and Interpretation. The MIT Press, Cambridge (1996)Google Scholar
  33. 33.
    Steedman, M.J.: Does grammar make use of bound variables? In: The Conference on Variable-free Semantics, Osnabrück (1997)Google Scholar
  34. 34.
    Steedman, M.J.: The Syntactic Process (Language, Speech, and Communication). The MIT Press, Cambridge (2000)Google Scholar
  35. 35.
    Steedman, M.J., Baldridge, J.: Combinatory categorial grammar. In: Borsley, R., Borjars, K. (eds.) Non-Transformational Syntax. Blackwell, Malden (2007)Google Scholar
  36. 36.
    Szabolci, A.: Bound variables in syntax: Are there any? In: Bartsch, R., van Benthem, J., van Emde Boas, P. (eds.) Semantics and Contextual Expression, pp. 295–318. Foris, Dordrecht (1989)Google Scholar
  37. 37.
    Wansing, H.: The Logic of Information Structures. Springer, Berlin (1993)CrossRefzbMATHGoogle Scholar
  38. 38.
    Wansing, H.: A rule-extension of the non-associative lambek calculus. Studia Logica 71, 443–451 (2002)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Daisuke Bekki
    • 1
  1. 1.Faculty of Science, Department of Information ScienceOchanomizu UniversityBunkyo-kuJapan

Personalised recommendations