Abstract
Categorial grammars in the tradition of Lambek [1,2] are asymmetric: sequent statements are of the form \({\Gamma}\Rightarrow{A}\), where the succedent is a single formula A, the antecedent a structured configuration of formulas A 1,...,A n . The absence of structural context in the succedent makes the analysis of a number of phenomena in natural language semantics problematic. A case in point is scope construal: the different possibilities to build an interpretation for sentences containing generalized quantifiers and related expressions. In this paper, we explore a symmetric version of categorial grammar based on work by Grishin [3]. In addition to the Lambek product, left and right division, we consider a dual family of type-forming operations: coproduct, left and right difference. Communication between the two families is established by means of structure-preserving distributivity principles. We call the resulting system LG. We present a Curry-Howard interpretation for derivations. Our starting point is Curien and Herbelin’s sequent system for λμ calculus [4] which capitalizes on the duality between logical implication (i.e. the Lambek divisions under the formulas-as-types perspective) and the difference operation. Importing this system into categorial grammar requires two adaptations: we restrict to the subsystem where linearity conditions are in effect, and we refine the interpretation to take the left-right symmetry and absence of associativity/commutativity into account. We discuss the continuation-passing-style (CPS) translation, comparing the call-by-value and call-by-name evaluation regimes. We show that in the latter (but not in the former) the types of LG are associated with appropriate denotational domains to enable a proper treatment of scope construal.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly 65, 154–170 (1958)
Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of Language and Its Mathematical Aspects. American Mathematical Society, pp. 166–178 (1961)
Grishin, V.: On a generalization of the Ajdukiewicz-Lambek system. In: Studies in Nonclassical Logics and Formal Systems. Nauka, Moscow, pp. 315–334 [English translation in Abrusci and Casadio (eds.) Proceedings 5th Roma Workshop, Bulzoni Editore, Roma, 2002] (1983)
Curien, P., Herbelin, H.: Duality of computation. In: International Conference on Functional Programming (ICFP’00), pp. 233–243 [2005: corrected version] (2000)
Moortgat, M.: Generalized quantifiers and discontinuous type constructors. In: Bunt, H., van Horck, A. (eds.) Discontinuous Constituency, pp. 181–207. Walter de Gruyter, Berlin (1996)
Hendriks, H.: Studied flexibility. Categories and types in syntax and semantics. PhD thesis, ILLC, Amsterdam University (1993)
Morrill, G.: Discontinuity in categorial grammar. Linguistics and Philosophy 18, 175–219 (1995)
Morrill, G., Fadda, M., Valentin, O.: Nondeterministic discontinuous Lambek calculus. In: Proceedings of the Seventh International Workshop on Computational Semantics (IWCS7), Tilburg (2007)
Lambek, J.: From categorial to bilinear logic. In: Schröder-Heister, K.D.P. (ed.) Substructural Logics, pp. 207–237. Oxford University Press, Oxford (1993)
de Groote, P.: Type raising, continuations, and classical logic. In: van Rooy, R., (ed.) Proceedings of the Thirteenth Amsterdam Colloquium, ILLC, Universiteit van Amsterdam, pp. 97–101 (2001)
Barker, C.: Continuations in natural language. In: Thielecke, H. (ed.) CW’04: Proceedings of the 4th ACM SIGPLAN continuations workshop, Tech. Rep. CSR-04-1, School of Computer Science, University of Birmingham, pp. 1–11 (2004)
Barker, C., Shan, C.: Types as graphs: Continuations in type logical grammar. Language and Information 15(4), 331–370 (2006)
Shan, C.: Linguistic side effects. PhD thesis, Harvard University (2005)
Selinger, P.: Control categories and duality: on the categorical semantics of the lambda-mu calculus. Math. Struct. in Comp. Science 11, 207–260 (2001)
Wadler, P.: Call-by-value is dual to call-by-name. In: ICFP, Uppsala, Sweden (August 2003)
Moortgat, M.: Symmetries in natural language syntax and semantics: the Lambek-Grishin calculus (this volume). In: Leivant, D., de Queiros, R. (eds.) WoLLIC’07. Proceedings 14th Workshop on Logic, Language, Information and Computation. LNCS, vol. 4576, pp. 264–284. Springer, Heidelberg (2007)
Goré, R.: Substructural logics on display. Logic Journal of IGPL 6(3), 451–504 (1997)
de Groote, P., Lamarche, F.: Classical non-associative Lambek calculus. Studia Logica 71, 335–388 (2002)
Barker, C.: Continuations and the nature of quantification. Natural language semantics 10, 211–242 (2002)
Bernardi, R.: Reasoning with Polarity in Categorial Type Logic. PhD thesis, Utrecht Institute of Linguistics OTS (2002)
de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings SALT 16, CLC Publications (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Bernardi, R., Moortgat, M. (2007). Continuation Semantics for Symmetric Categorial Grammar. In: Leivant, D., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2007. Lecture Notes in Computer Science, vol 4576. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73445-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-73445-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73443-7
Online ISBN: 978-3-540-73445-1
eBook Packages: Computer ScienceComputer Science (R0)