Abstract
The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bar-Hillel, Y., 1953, “A quasi-arithmetical notation for syntactic description, ” Language 29 (1953), 47-58.
Bar-Hillel, Y., Gaifman, C., and Shamir, E., 1960, 'On categorial and phrase structure grammars', Bulletin of the Research Council of Israel F(9), 1-16.
Buszkowski, W., 1986, “Generative capacity of nonassociative Lambek calculus, ” Bulletin of the Polish Academy of Sciences: Mathematics 34, 507-518.
Carpenter, B., 1999, “The Turing-completeness of multimodal categorial grammars, ” Papers presented to Johan van Benthem in honor of his 50th birthday, European Summer School in Logic, Language and Information, Utrecht.
Chomsky, N., 1957, Syntactic Structures, The Hague: Mouton.
Cohen, J.M., 1967, “The equivalence of two concepts of categorial grammar, ” Information and Control 10, 475-484.
Jäger, G., 2001, “On the generative capacity of multimodal categorial grammars, ” Journal of Language and Computation, to appear.
Kandulski, M., 1988, “The equivalence of nonassociative Lambek categorial grammars and context free grammars, ” Zeitschrift fürMathematische Logik und Grundlagen der Mathematik 34, 41-52.
Kandulski, M., 1995, “On commutative and nonassociative syntactic calculi and categorial grammars, ” Mathematical Logic Quarterly 65, 217-235.
Kandulski, M., 1997, “On generalized Ajdukiewicz and Lambek calculi and grammars, ” Fundamenta Informaticae 30, 169-181.
Lambek, J., 1958, “The mathematics of sentence structure, ” American Mathematical Monthly 65, 154-170.
Lambek, J., 1961, “On the calculus of syntactic types, ” pp. 166-178 in Structure of Language and Its Mathematical Aspects, R. Jakobson, ed., Providence, RI: American Mathematical Society.
Moortgat, M., 1988, Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus, Dordrecht: Foris.
Moortgat, M., 1996, “Multimodal linguistic inference, ” Journal of Logic, Language and Information 5, 349-385.
Morrill, G., 1990, “Intensionality and Boundedness, ” Linguistics and Philosophy 13, 699-726.
Pentus, M., 1993, “Lambek grammars are context-free, ” pp. 429-433 in Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science, New York: IEEE.
Roorda, D., 1991, “Resource logics: Proof-theoretical investigations, ” Ph.D. Thesis, University of Amsterdam.
Shieber, S., 1985, “Evidence against the context-freeness of natural language, ” Linguistics and Philosophy 8, 333-343.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jäger, G. Residuation, Structural Rules and Context Freeness. Journal of Logic, Language and Information 13, 47–59 (2004). https://doi.org/10.1023/A:1026175817625
Issue Date:
DOI: https://doi.org/10.1023/A:1026175817625