• Born on June 30, 1988
  • C. Sc. (≈ Ph. D.) in Physics and Mathematics since 2012, Lomonosov Moscow State University
  • Dr. Sc. (≈ habilitation) in Physics and Mathematics since 2024, Steklov Mathematical Institute of RAS
  • Leading scientific researcher at Steklov Mathematical Institute, Russian Academy of Sciences
  • Teaching at: Lomonosov Moscow State University (Mathematical Logic) · HSE University (Computer Science)
  • My Erdős number is 3:
    Erdős → Blass → Scedrov → me.

International Teaching


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

Research


Primary research interest: substructural logic with application to linguistics; infinitary, non-well-founded and circular proofs.

Recent preprints:

  • (2024) S.L. Kuznetsov, T. Pshenitsyn, S.O. Speranski. Reasoning from hypotheses in *-continuous action lattices. [arXiv:2408.02118]

Selected papers:

  • (2024) S.L. Kuznetsov. Algorithmic complexity for theories of commutative Kleene algebras. Izv. Math. 88(2):236–269.
  • (2022) M. Kanovich, S. Kuznetsov, A. Scedrov. Language models for some extensions of the Lambek calculus. Inform. Comput. 287:104760. [arXiv:2008.00070]
  • (2022) S.L. Kuznetsov, S.O. Speranski. Infinitary action logic with exponentiation. Ann. Pure Appl. Logic 173(2):103057. [arXiv:2001.06863]
  • (2021) S. Kuznetsov. Action logic is undecidable. ACM Trans. Comput. Logic 22(2):10. [arXiv:1912.11273]
  • (2021) S. Kuznetsov. Complexity of the infinitary Lambek calculus with Kleene star. Rev. Symb. Logic 14(4):946–972. [arXiv:2005.00404]
  • (2019) M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov. Subexponentials in non-commutative linear logic. Math. Struct. Comput. Sci. 29(8):1217–1249. [arXiv:1709.03607]

Theses:

  • (2024) Algorithmic questions for substructural logics with Kleene iteration [Алгоритмические вопросы для субструктурных логик с итерацией Клини], Dr.Sc. dissertation (Habilitationsschrift), Steklov Mathematical Institute, in Russian. [full text, .pdf] [summary, .pdf]
  • (2012) Categorial grammars based on variants of the Lambek calculus [Категориальные грамматики, основанные на вариантах исчисления Ламбека], C.Sc. (PhD) thesis, Moscow State University. [Russian text, .pdf] [Russian summary, .pdf] [English translation, .pdf] [English summary, .pdf]

Учебные курсы в Москве · Teaching in Moscow


Текущие · Current


Видеозаписи лекций

Материалы