Abstract
The formulation of Combinatory Categorial Grammar (CCG) [7], especially the choice of combinatory rules and their nominatum, strongly imply connection with a typed-version of Combinatory Logic (CL). Since typed CL is a term calculus for an implication fragment of a Hilbert-style proof system, in the sense of the Curry-Howard isomorphism, it seems plausible to regard CCG as a grammar that corresponds to a Hilbert-style proof system, in that the associative Lambek calculus [3] corresponds to a Gentzen-style proof system.
We are grateful to Nicholas Asher, Frank Veltman, Alastair Butler, Shunsuke Yatabe and other audience of LENLS8 for their valuable comments and suggestions for the earlier version of this paper. We are also grateful to Kei Yura in Joint Research Symposium 2011.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bekki, D.: Combinatory categorial grammar as a substructural logic — preliminary remarks —. In: The Seventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 7), JSAI International Symposia on AI 2010. pp. 70–83. Campus Innovation Center, Tokyo (2010)
Hindley, J.R., Seldin, J.P.: Lambda-Calculus and Combinators: an Introduction. Cambridge University Press, Cambridge (2008)
Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly 65, 154–169 (1958)
Morrill, G.V.: Type Logical Grammar. Kluwer Academic Publishers, Dordrecht (1994)
Ozaki, H., Bekki, D.: Computational properties of subdirectional combinatory logic. Tech. rep., Ochanomizu University, OCHA-IS 10-2, February 7 (2011)
Ross, J.R.: Constraints on Variables in Syntax. Unpublished ph.d. dissertation. MIT (1967)
Steedman, M.J.: The Syntactic Process (Language, Speech, and Communication). The MIT Press, Cambridge (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ozaki, H., Bekki, D. (2012). Extractability as the Deduction Theorem in Subdirectional Combinatory Logic. In: Béchet, D., Dikovsky, A. (eds) Logical Aspects of Computational Linguistics. LACL 2012. Lecture Notes in Computer Science, vol 7351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31262-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-31262-5_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31261-8
Online ISBN: 978-3-642-31262-5
eBook Packages: Computer ScienceComputer Science (R0)