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

SEMINARS


Special course "Complexity of the Lambek calculus" October 26, 2018 16:45, Moscow

Lecture 5. 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: Injectivity of the mapping $\gamma$. Completeness of $S$ with respect to proof nets.