Buszkowski, Wojciech On generative capacity of the Lambek calculus. (English) Zbl 0797.03027 Eijck, Jan van (ed.), Logics in AI. European workshop JELIA ’90, Amsterdam, Netherlands, September 10-14, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 478, 139-152 (1991). Summary: We prove that the Lambek calculus is context-free in the scope of weakly bidirectional types and product-free types of order at most 2, and similar results are obtained for the Lambek calculus with unit.For the entire collection see [Zbl 0768.00012]. Cited in 2 Documents MSC: 03B99 General logic 03B65 Logic of natural languages 68Q45 Formal languages and automata Keywords:categorial grammar; Lambek calculus; weakly bidirectional types; product- free types PDFBibTeX XMLCite \textit{W. Buszkowski}, Lect. Notes Comput. Sci. 478, 139--152 (1991; Zbl 0797.03027)