Abstract
We describe the derivations in a pregroup grammar as the 2-cells of a free compact 2-category defined by the grammar. The 2-cells of this category are the intermediary parsing structures necessary for a semantic interpretation when pregroups are used in natural language processing. The construction of the free compact 2-category also provides another cut-free axiomatisation of compact bilinear logic.
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
Lambek, J.: Type grammar revisited. In: Lecomte, A., Perrier, G., Lamarche, F. (eds.) LACL 1997. LNCS (LNAI), vol. 1582, pp. 1–27. Springer, Heidelberg (1999)
Eilenberg, S.: Automata, Languages and Machines, vol. A and B. Academic Press, New York (1972-1976)
Buszkowski, W.: Cut elimination for the Lambek calculus of adjoints. In: Abrusci, et al. (eds.) Papers in formal linguistics and logic, Bologna: Bulzoni (2002)
Lane, S.M.: Categories for the working mathematician. Springer Verlag, New York (1971)
Lambek, J.: Bicategories in algebra and linguistics. In: Ehrhard, T., et al. (eds.) Linear Logic in computer science, Cambridge University Press, Cambridge (2004)
Anne Preller, Joachim Lambek, Free compact 2-categories, rapport de recherche 11439, LIRMM (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Preller, A. (2005). Category Theoretical Semantics for Pregroup Grammars. In: Blache, P., Stabler, E., Busquets, J., Moot, R. (eds) Logical Aspects of Computational Linguistics. LACL 2005. Lecture Notes in Computer Science(), vol 3492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11422532_16
Download citation
DOI: https://doi.org/10.1007/11422532_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25783-7
Online ISBN: 978-3-540-31953-5
eBook Packages: Computer ScienceComputer Science (R0)