RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2009 Number 2, Pages 59–62 (Mi vmumm862)
This article is cited in 4 papers

Short notes

Recognition of derivability for the Lambek calculus with one division

Yu. V. Savateev

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: 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.

UDC: 510.66

Received: 21.04.2008



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025