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

SEMINARS


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

Lecture 4. The second part of the proof of the derivability criterion for $L(\backslash)$ M. R. Pentus Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract: Soundness of $S$ with respect to $L(\backslash)$.