Abstract
This article presents an extension of Minimalist Categorial Grammars (MCG) to encode Chomsky’s phases. These grammars are based on Partially Commutative Logic (PCL) and encode properties of Minimalist Grammars (MG) of Stabler [22]. The first implementation of MCG were using both non-commutative properties (to respect the linear word order in an utterance) and commutative ones (to model features of different constituents). Here, we propose to augment Chomsky’s phases with the non-commutative tensor product of the logic. Then we can give account of the PIC [7] just with logical properties of the framework instead of defining a specific rule.
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
Amblard, M.: Calcul de représentations sémantiques et syntaxe générative: les grammaires minimalistes catégorielles. Ph.D. thesis, université de Bordeaux 1 (2007)
Amblard, M., Lecomte, A., Retore, C.: Categorial minimalist grammars: from generative syntax to logical forms. Linguistic Analysis 6(1-4), 273–308 (2010)
Amblard, M., Retore, C.: Natural deduction and normalisation for partially commutative linear logic and lambek calculus with product. In: Computation and Logic in the Real World, CiE 2007 (2007)
Baker, M.: Thematic Roles and Syntactic Structure. In: Haegeman, L. (ed.) Elements of Grammar, Handbook of Generative Syntax, pp. 73–137. Kluwer, Dordrecht (1997)
Chomsky, N.: Syntactic Structures. Mouton, The Hague (1957)
Chomsky, N.: The Minimalist Program. MIT Press, Cambridge (1995)
Chomsky, N.: Derivation by phase. ms. MIT, Cambridge (1999)
de Groote, P.: Partially commutative linear logic: sequent calculus and phase semantics. In: Abrusci, V.M., Casadio, C. (eds.) Third Roma Workshop: Proofs and Linguistics Categories – Applications of Logic to the analysis and implementation of Natural Language, pp. 199–208. CLUEB, Bologna (1996)
de Groote, P.: Towards abstract categorial grammars. In: ACL 2001 (2001)
Hale, K.: On argument structure and the lexical expression of syntactic relations. The View from Building, vol. 20. MIT Press, Ithaca (1993)
Kratzer, A.: External arguments. In: Benedicto, E., Runner, J. (eds.) Functional Projections. University of Massachussets, Amherst (1994)
Lambek, J.: The mathematics of sentence structures. American mathematical monthly (1958)
Lecomte, A.: Categorial grammar for minimalism. Language and Grammar: Studies in Mathematical Linguistics and Natural Language CSLI Lecture Notes, vol. 168, pp. 163–188 (2005)
Lecomte, A.: Semantics in minimalist-categorial grammars. Formal Grammar (2008)
Lecomte, A., Retoré, C.: Extending Lambek grammars: a logical account of minimalist grammars. In: Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics, ACL 2001, pp. 354–361. ACL, Toulouse (2001)
Moortgat, M.: Categorial type logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, ch. 2, pp. 93–178. Elsevier, Amsterdam (1997)
Morrill, G.: Type logical grammar. Categorial Logic of Signs (1994)
Muskens, R.: Languages, lambdas and logic. Resource Sensitivity in Binding and Anaphora (2003)
Pollard, C.: Convergent grammars. Tech. rep., The Ohio State University (2007)
Retoré, C.: Pomset logic: a non-commutative extension of classical linear logic. In: de Groote, P., Hindley, J.R. (eds.) TLCA 1997. LNCS, vol. 1210, pp. 300–318. Springer, Heidelberg (1997)
Retoré, C.: A description of the non-sequential execution of petri nets in partially commutative linear logic. Logic Colloquium 99 Lecture Notes in Logic, pp. 152–181 (2004)
Stabler, E.: Derivational minimalism. LACL 1328 (1997)
Stabler, E.: Recognizing head movement. In: de Groote, P., Morrill, G., Retoré, C. (eds.) LACL 2001. LNCS (LNAI), vol. 2099, p. 245. Springer, Heidelberg (2001)
Steedman, M.: Combinatory grammars and parasitic gaps. In: Natural Language and Linguistic Theory, vol. 5 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Amblard, M. (2011). Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework. In: Pogodalla, S., Prost, JP. (eds) Logical Aspects of Computational Linguistics. LACL 2011. Lecture Notes in Computer Science(), vol 6736. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22221-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-22221-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22220-7
Online ISBN: 978-3-642-22221-4
eBook Packages: Computer ScienceComputer Science (R0)