Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Валинкин Михаил Валерьевич


https://www.mathnet.ru/rus/person196590
Список публикаций на Google Scholar

Публикации в базе данных Math-Net.Ru Цитирования
2025
1. Mikhail Valinkin, Stepan L. Kuznetsov, “Relational models for the Lambek calculus with local contraction subexponentials”, J. Logic Comput., 35:4 (2025), exaf030  mathnet  mathscinet  isi  scopus
2022
2. М. В. Валинкин, “Варианты субэкспоненциала локального сокращения в исчислении Ламбека”, Алгебра и логика, 61:4 (2022),  401–423  mathnet  mathscinet; M. V. Valinkin, “Versions of a local contraction subexponential in the Lambek calculus”, Algebra and Logic, 61:4 (2022), 271–287 1

Доклады и лекции в базе данных Math-Net.Ru
1. Реляционные модели для исчисления Ламбека с субэкспоненциалом нелокального сокращения
М. В. Валинкин, С. Л. Кузнецов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
23 декабря 2024 г. 16:00   
2. Исчисление Ламбека с модальностью локального сокращения, его свойства и семантика
М. В. Валинкин
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
27 марта 2024 г. 18:15

Организации