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

SEMINARS


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

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