Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Slavnov, Sergey
E-mail:

https://www.mathnet.ru/eng/person38315
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/745888

Publications in Math-Net.Ru Citations
2005
1. S. Slavnov, “On completeness of dynamic topological logic”, Mosc. Math. J., 5:2 (2005),  477–492  mathnet  mathscinet  zmath  isi 11

Presentations in Math-Net.Ru
1. Логика тензорных термов для категориальных грамматик
S. Slavnov

November 6, 2025 14:00   
2. Indexed Lambek calculus with movement
S. Slavnov
Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
April 15, 2025 16:00   
3. Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики
S. Slavnov
Seminars "Proof Theory" and "Logic Online Seminar"
November 20, 2023 18:30   

Organisations