Seminars: M. R. Pentus, Lecture 7. The formulation of a derivability criterion for $L^*(\backslash,/)$

SEMINARS


Special course "Complexity of the Lambek calculus" November 9, 2018 16:45, Moscow

Lecture 7. The formulation of a derivability criterion for $L^(\backslash,/)$ M. R. Pentus Lomonosov Moscow State University, Faculty of Mechanics and Mathematics*
Abstract: Yury Savateev's criterion for derivability in the Lambek calculus with two divisions allowing empty premises.