Abstract
We propose a version of Type-Logical Categorial Grammar (TLCG) which combines the insights of standard TLCG (Morrill 1994, Moortgat 1997) in which directionality is handled in terms of forward and backward slashes, and more recent approaches in the CG literature which separate directionality-related reasoning from syntactic combinatorics by means of Ł-binding in the phonological component (Oehrle 1994, de Groote 2001, Muskens 2003). The proposed calculus recognizes both the directionality-sensitive modes of implication (/ and \) of the former and the directionality-insensitive mode of implication tied to phonological Ł-binding in the latter (which we notate here as |).
Empirical support for the proposed system comes from the fact that it enables a straightforward treatment of Gapping, a phenomenon that has turned out to be extremely problematic in the syntactic literature including CG-based approaches.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bernardi, R.: Reasoning with Polarity in Categorial Type Logic. Ph.D. thesis, University of Utrecht (2002)
de Groote, P.: Partially commutative linear logic: sequent calculus and phase semantics. In: Abrusci, M., Casadio, C. (eds.) Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop. Cooperativa Libraria Universitaria Editrice Bologna (1996)
de Groote, P.: Towards abstract categorial grammars. In: Proceedings of ACL 2001, pp. 148–155 (2001)
de Groote, P., Maarek, S.: Type-theoretic extensions of abstract categorial grammars. In: Muskens, R. (ed.) Proceedings of Workshop on New Directions in Type-theoretic Grammars, pp. 19–30 (2007)
Hendriks, P.: Ellipsis and multimodal categorial type logic. In: Morrill, G.V., Oehrle, R.T. (eds.) Formal Grammar: Proceedings of the Conference of the European Summer School in Logic, Language and Information, Barcelona (1995)
Kubota, Y., Pollard, C.: Phonological Interpretation into Preordered Algebras. In: Ebert, C., Jäger, G., Michaelis, J. (eds.) MOL 10/11. LNCS (LNAI), vol. 6149, pp. 200–209. Springer, Heidelberg (2010)
Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, J., Moravcsik, J.M., Suppes, P. (eds.) Approaches to Natural Language, pp. 221–242. D. Reidel, Dordrecht (1973)
Moortgat, M.: Categorial Type Logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 93–177. Elsevier, Amsterdam (1997)
Morrill, G., Merenciano, J.-M.: Generalizing discontinuity. Traitement Automatique des Langues 27(2), 119–143 (1996)
Morrill, G., Solias, T.: Tuples, discontinuity, and gapping in categorial grammar. In: Proceedings of EACL 6, pp. 287–297. Association for Computational Linguistics, Morristown (1993)
Morrill, G., Valentín, O., Fadda, M.: The displacement calculus. Journal of Logic, Language and Information 20, 1–48 (2011)
Morrill, G.V.: Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers, Dordrecht (1994)
Muskens, R.: Language, lambdas, and logic. In: Kruijff, G.-J., Oehrle, R. (eds.) Resource Sensitivity in Binding and Anaphora, pp. 23–54. Kluwer (2003)
Muskens, R.: Separating syntax and combinatorics in categorial grammar. Research on Language and Computation 5(3), 267–285 (2007)
Oehrle, R.T.: Boolean properties in the analysis of gapping. In: Huck, G.J., Ojeda, A.E. (eds.) Syntax and Semantics 20: Discontinuous Constituency, pp. 203–240. Academic Press (1987)
Oehrle, R.T.: Term-labeled categorial type systems. Linguistics and Philosophy 17(6), 633–678 (1994)
Pogodalla, S., Pompigne, F.: Controlling Extraction in Abstract Categorial Grammars. In: FG 2010, Copenhagen, Denmark (2011)
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)
Siegel, M.A.: Compositionality, case, and the scope of auxiliaries. Linguistics and Philosophy 10(1), 53–75 (1987)
Steedman, M.: Gapping as constituent coordination. Linguistics and Philosophy 13(2), 207–263 (1990)
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
Kubota, Y., Levine, R. (2012). Gapping as Like-Category Coordination. 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_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-31262-5_9
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)