Seminars: M. R. Pentus, Lecture 2. Characterization of derivability for $L(\backslash)$

SEMINARS


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

Lecture 2. Characterization of derivability for $L(\backslash)$ M. R. Pentus Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract: An example of a sequent underivable in the Lambek calculus. A necessary condition for derivability in terms of interpretation in the free group. Yury Savateev's criterion for derivability in the Lambek calculus with one division.