Abstract
A polynomial algorithm for determination of derivability in the Lambek calculus with one division is described in the paper.
References
J. Lambek, “The Mathematics of Sentence Structure,” Amer. Math. Monthly, 65, 154 (1958).
W. Buszkowski, “The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars,” Z. Math. Log. und Grundl. Math. 31(4), 369 (1985).
M. Pentus, “Lambek Calculus is NP-Complete,” Theor. Comput. Sci. 357(1–3), 186 (2006).
Author information
Authors and Affiliations
Additional information
Original Russian Text © Yu.V. Savateev, 2009, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2009, Vol. 64, No. 2, pp. 59–62.
About this article
Cite this article
Savateev, Y.V. Recognition of derivability for the Lambek calculus with one division. Moscow Univ. Math. Bull. 64, 73–75 (2009). https://doi.org/10.3103/S0027132209020077
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0027132209020077