Recognition of derivability for the Lambek calculus with one division / Yu. V. Savateev. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2009. № 2. P.  [Moscow Univ. Math. Bulletin. Vol. 72, N 2, 2017. P. 73-75].

A polynomial algorithm for determination of derivability in the Lambek calculus with one division is described in the paper.

Key words: Lambek calculus, algorithmic complexity.

№ 2/2009