Seminars: M. R. Pentus, Lecture 9. The final part of the proof of the derivability criterion for $L^*(\backslash,/)$

SEMINARS


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

Lecture 9. The final part of the proof of the derivability criterion for $L^(\backslash,/)$ M. R. Pentus Lomonosov Moscow State University, Faculty of Mechanics and Mathematics*
Abstract: Completeness of $L^*(\backslash,/)$ with respect to proof nets.