Abstract
The concept of pregroup was introduced by Lambek for natural language analysis, with a close link to non-commutative linear logic. We reformulate the pregroup calculus so as to extend it by composition with other logics and calculii.The cut elimination property and the decidabilityproperty of the sequent calculus proposed in the article are shown.Properties of composed calculii are also discussed.
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.
References
Bargelli, D., Lambek, J.: An Algebraic Approach to French Sentence Structure. In: de Groote, P., Morill, G., Retoré, C. (eds.) LACL 2001. LNCS (LNAI), vol. 2099, Springer, Heidelberg (2001)
Buszkowski, W.: Mathematical linguistics and proof theory. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 683–736. Elsevier, North-Holland (1997)
Buszkowski, W.: Lambek grammars based on pregroups. In: de Groote, P., Morrill, G., Retoré, C. (eds.) LACL 2001. LNCS (LNAI), vol. 2099, Springer, Heidelberg (2001)
Buszkowski, W.: Cut elimination for the Lambek calculus of adjoints. In: New Perspectives in Logic and Formal Linguisitics, Proceedings Vth ROMA Workshop, Bulzoni Editore
Buszkowski, W.: Sequent systems for compact bilinear logic. Mathematical Logic Quarterly 49(5), 467–474 (2003)
Casadio, C., Lambek, J.: An Algebraic Analysis of Clitic Pronouns in Italian. In: de Groote, P., Morill, G., Retoré, C. (eds.) LACL 2001. LNCS (LNAI), vol. 2099, Springer, Heidelberg (2001)
Fadda, Mario,: Towards flexible pregroup grammars. In: New Perspectives in Logic and Formal Linguistics, pp. 95–112. Bulzoni Editore, Roma (2002)
Ferré, S., Ridoux, O.: A Framework for Developing Embeddable Customized Logic. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol. 2372, pp. 191–215. Springer, Heidelberg (2002)
Ferré, S., Ridoux, O.: Logic Functors : a Toolbox of Components for Building Customized and Embeddable Logics. Research report, no RR-5871, Inria (March 2006) http://www.inria.fr/rrrt/rr-5871.html
Kislak-Malinowska, Aleksandra, Pregroups with modalities, FG2006: the 11th conference on Formal Grammar, Malaga, Spain (July 2006)
Lambek, J.: Type grammars revisited. In: Lecomte, A., Perrier, G., Lamarche, F. (eds.) LACL 1997. LNCS (LNAI), vol. 1582, pp. 22–24. Springer, Heidelberg (1999)
Preller, A.: Category Theoretical Semantics for Pregroup Grammars. In: Blache, P., Stabler, E., Busquets, J.V., Moot, R. (eds.) LACL 2005. LNCS (LNAI), vol. 3492, Springer, Heidelberg (2005)
Preller, A., Lambek, J.: Free compact 2-categories. Mathematical Structures for Computer Sciences (January 2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Foret, A. (2007). Pregroup Calculus as a Logic Functor. 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_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-73445-1_11
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)