Abstract
Purchase PDF (232 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (1)
Purchase PDF (166 K)
doi:10.1016/j.tcs.2007.07.027 
Copyright © 2007 Elsevier Ltd All rights reserved.
S4 enriched multimodal categorial grammars are context-free
Andrew R. Plummer
, a, 
Received 15 January 2007;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Bar-Hillel et al. [Y. Bar-Hillel, C. Gaifman, E. Shamir, On categorial and phrase structure grammars, Bulletin of the Research Council of Israel F (9) (1960) 1–16] prove that applicative categorial grammars weakly recognize the context-free languages. Buszkowski [W. Buszkowski, Generative capacity of non-associative Lambek calculus, Bulletin of the Polish Academy of Sciences: Mathematics 34 (1986) 507–518] proves that grammars based on the product-free fragment of the non-associative Lambek calculus NL recognize exactly the context-free languages. Kandulski [M. Kandulski, The equivalence of non-associative Lambek categorial grammars and context-free grammars, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34 (1988) 41–52] furthers this result by proving that grammars based on NL also recognize exactly the context-free languages. Jäger [G. Jäger, Residuation, structural rules and context freeness, Journal of Logic, Language and Information 13 (2004) 47–59] proves that categorial grammars based on , the non-associative Lambek calculus enriched with residuated modalities, weakly recognize exactly the context-free languages. We extend this result, proving that categorial grammars based on
, the enrichment of
by the axioms 4 and T, weakly recognize exactly the context-free languages.
Keywords: Categorial grammar; Lambek grammar; Multimodal grammar; S4; Context-free language; Chomsky hierarchy
