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

Spring 2017: Visit to UPenn


This spring semester (Jan 10 – May 5) I stay at the University of Pennsylvania:
  • office location: room 4C17, David Rittenhouse Lab (“DRL”), 209 South 33rd Street, Philadelphia, PA, 19104, USA
    telephone +1 215-898-5196
  • lectures: LGIC 320 / MATH 751 “Logic II”, every Tuesday and Thursday at 3:00–4:20PM, classroom 4C6 DRL
    Lecture on Tuesday March 21 cancelled (and will be rescheduled to the end of April).
  • office hours: I'm generally in my office from 11:00AM to 5:00PM on weekdays, but occasionally leave it for lunch, discussions, classes etc. So, if you want to be sure, please e-mail me the day before. Otherwise just knock on the door.
    Out of office for March 20–22.
  • e-mail: sk [at] mi [dot] ras [dot] ru

Research


Primary research interest: substructural logic with application to linguistics.

Selected papers:

  • (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]
  • (2013) S. Kuznetsov. Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives. [.pdf]
  • (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]

Materials presented here are addressed to my students in Moscow and therefore exist only in Russian.
Quick link: ESSLLI '15 course on Lambek grammars.

Учебные курсы в Москве


  • Семинары по математической логике и теории алгоритмов для 2-го курса мехмата МГУ
    Курс читается осенью. Материалы прошлых лет перемещены в архив.
  • Coq-практикум (компьютерный практикум по автоматизированной проверке доказательств)
    Руководители: к. ф.-м. н. С. Л. Кузнецов, доц. В. Н. Крупский
    Время и место: практикум проводится в осеннем семестре, 1 занятие в 2 недели. МГУ, Главное здание, компьютерный класс 15-04.
  • Спецкурс «Математическая логика» (обязательный курс для студентов кафедры математической логики и теории алгоритмов)
    Материалы: Лекторы: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, доц. Т. Л. Яворская
    Время и место: четверг 16:45 — 18:20. МГУ, Главное здание, ауд. 13-27.
    Лекции в 2016 году закончились. Следующая лекция — 9 февраля 2017 г.
  • Просеминар по математической логике и информатике
    Руководители: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. В. В. Подольский, академик РАН А. Л. Семёнов, к. ф.-м. н. С. Л. Кузнецов
    Время и место: пятница 16:45 — 18:20. МГУ, Главное здание, ауд. 16-22.
    Занятия в 2016 году закончились. Следующее занятие — 10 февраля 2017 г.

My pages on www.mi.ras.ru and lpcs.math.msu.su are identical.