×

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].

MSC:

03B99 General logic
03B65 Logic of natural languages
68Q45 Formal languages and automata
PDFBibTeX XMLCite