Geodesic
Lambek calculus with a unit and one division
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (2011), pp. 55-57 
S. L. Kuznetsov. Lambek calculus with a unit and one division. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (2011), pp. 55-57. http://geodesic.mathdoc.fr/item/VMUMM_2011_4_a10/
@article{VMUMM_2011_4_a10,
     author = {S. L. Kuznetsov},
     title = {Lambek calculus with a unit and one division},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {55--57},
     year = {2011},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2011_4_a10/}
}
TY  - JOUR
AU  - S. L. Kuznetsov
TI  - Lambek calculus with a unit and one division
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2011
SP  - 55
EP  - 57
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2011_4_a10/
LA  - ru
ID  - VMUMM_2011_4_a10
ER  - 
%0 Journal Article
%A S. L. Kuznetsov
%T Lambek calculus with a unit and one division
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2011
%P 55-57
%N 4
%U http://geodesic.mathdoc.fr/item/VMUMM_2011_4_a10/
%G ru
%F VMUMM_2011_4_a10

Voir la notice de l'article provenant de la source Math-Net.Ru

In this paper we present a substitution that reduces the derivability in the Lambek calculus with the unit and one division to the derivability in the Lambek calculus with one division permitting empty antecedents. Using this substitution, we establish the existence of an algorithm that checks the derivability in the Lambek calculus with the unit and one division in polynomial time.