Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski

SEMINARS

Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
February 11–May 27, 2025, Steklov Mathematical Institute, Room 303 (8 Gubkina)

We kindly ask all participants, including remote ones and those
watching recorded videos, to register at this link.

RSS: Forthcoming seminars

Seminar organizers
Kuznetsov Stepan Lvovich
Speranski Stanislav Olegovich

Organizations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center

Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski, February 11–May 27, 2025

Conway's surreal numbers N. V. Lukashov March 11, 2025 16:00 Steklov Mathematical Institute, Room 303 (8 Gubkina)
On the complexity of first-order logic of probability with distribution on the domain S. O. Speranski March 4, 2025 16:00 Steklov Mathematical Institute, Room 303 (8 Gubkina)
The Lambek calculus with Krull intersection operation — 3 S. L. Kuznetsov, T. G. Pshenitsyn February 25, 2025 16:00 Steklov Mathematical Institute, Room 303 (8 Gubkina)
The Lambek calculus with Krull intersection operation — 2 S. L. Kuznetsov, T. G. Pshenitsyn February 18, 2025 16:00 Steklov Mathematical Institute, Room 303 (8 Gubkina)
The Lambek calculus with Krull intersection operation — 1 S. L. Kuznetsov, T. G. Pshenitsyn February 11, 2025 16:00 Steklov Mathematical Institute, Room 303 (8 Gubkina)