Logic seminar

City seminar on Mathematical Logic

Вторник 30.06. Yuri Gurevich: "What, if anything, can be done in linear time?"

Вторник, 30 июня, Zoom. Начало в 18:30.

Докладчик: Yuri Gurevich (University of Michigan).

Тема: What, if anything, can be done in linear time?

Вторник 23.06. Graham Priest: "Perspectives on the Universe"

Вторник, 23 июня, Zoom. Начало в 18:30.

Докладчик: Graham Priest (Graduate Center, City University of New York).

Тема: Perspectives on the Universe.

Вторник 16.06. Heinrich Wansing: "An Extension of Connexive Logic C"

Вторник, 16 июня, Zoom. Начало в 18:30.

Докладчик: Heinrich Wansing (Ruhr-Universität Bochum).

Тема: An Extension of Connexive Logic C.

Вторник 02.06. В.Я. Крейнович: "Модальная математика и рассуждения в условиях интервальной неопределённости"

Вторник, 2 июня, Zoom. Начало в 18:30.

Докладчик: В.Я. Крейнович (Университет Техаса в Эль-Пасо).

Тема: Модальная математика и рассуждения в условиях интервальной неопределённости.

Вторник 19.05. А.С. Морозов: "О $\Sigma$-определимых структурах в HF(R)"

Вторник, 19 мая, Zoom. Начало в 18:30.

Докладчик: А.С. Морозов (Институт математики им. С.Л. Соболева СО РАН).

Тема: О $ \Sigma $-определимых структурах в HF(R).

Вторник 12.05. Ф.Н. Пахомов: "О полноте трансфинитных итераций схем рефлексии"

Вторник, 12 мая, Zoom. Начало в 18:30.

Докладчик: Ф.Н. Пахомов (Математический институт им. В.А. Стеклова РАН).

Тема: О полноте трансфинитных итераций схем рефлексии.

Вторник 28.04. С.А. Дробышевич: "Системы с явными опровержениями"

Вторник, 28 апреля, Zoom. Начало в 18:30.

Докладчик: С.А. Дробышевич (Институт математики им. С.Л. Соболева СО РАН).

Тема: Системы с явными опровержениями.

Вторник 21.04. Д. Рогозин: "Канонические расширения в логике: основные результаты и примеры использования"

Вторник, 21 апреля, Zoom. Начало в 18:30.

Докладчик: Д. Рогозин (Московский государственный университет им. М.В. Ломоносова).

Тема: Канонические расширения в логике: основные результаты и примеры использования.

Вторник 14.04. С.Л. Кузнецов: "Закон дистрибутивности во фрагментах линейной и аффинной логик"

Вторник, 14 апреля, Zoom. Начало в 18:15.

Докладчик: С.Л. Кузнецов (Математический институт им. В.А. Стеклова РАН).

Тема: Закон дистрибутивности во фрагментах линейной и аффинной логик.

Пятница 31.05. М.Р. Старчак: "О совместности систем выражений вида НОД(a,x+b)=d с приложением к проблемам элиминации кванторов"

Пятница, 31 мая, ПОМИ РАН, ауд. 106. Начало в 17:00.

Докладчик: М.Р. Старчак (Санкт-Петербургский государственный университет).

Тема: О совместности систем выражений вида НОД(a,x+b)=d с приложением к проблемам элиминации кванторов.

Syndicate content