Seminars: M. V. Valinkin, S. L. Kuznetsov, Relational models for the Lambek calculus with the local contraction subexponential

SEMINARS


Seminars "Proof Theory" and "Logic Online Seminar" December 23, 2024 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Kontur Talk

Relational models for the Lambek calculus with the local contraction subexponential M. V. Valinkin^a, S. L. Kuznetsov^b ^a Lomonosov Moscow State University, Faculty of Mechanics and Mathematics ^b Steklov Mathematical Institute of Russian Academy of Sciences, Moscow