Lambek calculus with one division and one primitive type permitting empty antecedents / S. L. Kuznetsov. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2009. № 2. P. [Moscow Univ. Math. Bulletin. Vol. 72, N 2, 2017. P. 76-79].
The following assertion is proved: a deduction rule
given by a scheme is admissible in the Lambek calculus with one division
Key words: Lambek calculus, admissible rules, proof nets.