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.

“Complexity of reasoning in Kleene and action algebras” (5 lectures), ESSLLI 2022 in Galway.
“Logic II” (LGIC 320 / MATH 571), University of Pennsylvania, Spring 2017.
“Lambek categorial grammars” (5 lectures), ESSLLI 2015 in Barcelona.

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

Primary research interest: substructural logic with application to linguistics.

(2021) S.L. Kuznetsov. Commutative action logic [arXiv:2102.11639]
(2020) M. Kanovich, S. Kuznetsov, A. Scedrov. Language models for some extensions of the Lambek calculus [arXiv:2008.00070]
(2020) S.L. Kuznetsov, S.O. Speranski. Infinitary action logic with exponentiation [arXiv:2001.06863]
(2019) S. Kuznetsov. Action logic is undecidable [arXiv:1912.11273]

(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, МИАН, базовая кафедра МФТИ)
Функциональное программирование (осень 2021, ВШЭ, ФКН, с Д.Д. Рогозиным)
Coq-практикум (компьютерный практикум по автоматизированной проверке доказательств) (МГУ, мехмат)
Курс читается в осенних семестрах.
Discrete mathematics for algorithm and software design
HSE University, Computer Science, Autumn 2021.

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