Laboratory of Mathematical Logic at PDMI

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

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

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

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

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

Тема: Perspectives on the Universe.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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