Stepan Kuznetsov's homepage

Born on June 30, 1988
C. Sc. (≈ Ph. D.) in Physics and Mathematics since 2012, Lomonosov Moscow State University
Senior scientific researcher at Steklov Mathematical Institute, Russian Academy of Sciences
Research supported by: RSF · RFBR · RYM · President's grants (NŠ · MK) · the never-ending curiosity
Teaching at: Lomonosov Moscow State University (Mathematical Logic) · HSE University (Computer Science)
My Erdős number is 3:
Erdős → Blass → Scedrov → me.

(personal blog; mostly in Russian, with fragments in other languages)

Primary research interest: substructural logic with application to linguistics.

Soft subexponentials and multiplexing (with M. Kanovich, V. Nigam, A. Scedrov), IJCAR 2020, June 2020.
The 'long rule' in the Lambek calculus with iteration: undecidability without meets and joins, AiML 2020, August 2020.
Complexity of commutative infinitary action logic, DaLí 2020, October 9–10, 2020.
Фрагмент исчисления Ламбека с релевантной модальностью (с С.М. Дудаковым и Б.Н. Карловым), Мальцевские чтения 2020, 16–20 ноября 2020 г.

(2020) S. Kuznetsov. Complexity of infinitary Lambek calculus with Kleene star. [arXiv: 2005.00404]
(2019) S. Kuznetsov. The logic of action lattices is undecidable. [.pdf]
(2018) S. Kuznetsov. *-continuity vs. induction: divide and conquer. [.pdf]
(2017) M. Kanovich, S. Kuznetsov, G. Morrill, A. Scedrov. A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. [text in LIPIcs]
(2017) S. Kuznetsov. The Lambek calculus with iteration: two variants. [arXiv: 1705.07309]
(2017) S. Kuznetsov, A. Okhotin. Conjunctive categorial grammars. [.pdf]
(2016) M. Kanovich, S. Kuznetsov, A. Scedrov. Undecidability of the Lambek calculus with a relevant modality. [arXiv: 1601.06303]
(2016) С. Л. Кузнецов. О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики (S. L. Kuznetsov. On translating Lambek grammars with one division into context-free grammars). [.pdf RU] [.pdf EN]
(2012) S. Kuznetsov. L-completeness of the Lambek calculus with the reversal operation. [.pdf EN] [.pdf RU (VINITI preprint)]
(2012) S. L. Kuznetsov. Categorial grammars based on variants of the Lambek calculus (C. Sc. thesis). [Russian text: .pdf] [Russian summary: .pdf] [English translation: .pdf] [English summary: .pdf]

Функциональное программирование (январь — март 2021, ВШЭ, ФКН)
Структурная теория доказательств и алгебраическая логика (весна 2020, МИАН, базовая кафедра МФТИ)
Математическая логика 2, мехмат МГУ
Циклические доказательства (осень 2020)
- Лекторы — Д. С. Шамканов и С. Л. Кузнецов
- Расписание: понедельник 16:30–18:20, МИАН (ул. Губкина, 8), конференц-зал на 9-м этаже.
Coq-практикум (компьютерный практикум по автоматизированной проверке доказательств) (МГУ, мехмат)
Курс читается в осенних семестрах.
Discrete mathematics for algorithm and software design
HSE University, Computer Science, Autumn 2020.

Просеминар по математической логике и информатике
Руководители: академик РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, асп. А. А. Оноприенко, академик РАН А. Л. Семёнов
Малый мехмат
Математические кружки при механико-математическом факультете МГУ.