Logic seminar

City seminar on Mathematical Logic

Четверг 06.09.2018. В. Лифшиц: "Стабильные модели формул исчисления высказываний"

Четверг, 6 сентября, ПОМИ РАН, ауд. 106. Начало в 11:30.

Докладчик: Владимир Лифшиц (University of Texas at Austin).

Тема: Стабильные модели формул исчисления высказываний.

Пятница 25.05.2018. В.П. Оревков: "Структура секвенций в интуиционистских доказательствах в исчислении предикатов"

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

Докладчик: В.П. Оревков.

Тема: Структура секвенций в интуиционистских доказательствах в исчислении предикатов.

Понедельник 15.01.2018. А.С. Герасимов: "Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода"

Понедельник, 15 января, ПОМИ РАН, ауд. 106. Начало в 14:00.

Докладчик: А.С. Герасимов.

Тема: Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода.

Четверг 23.11.2017. С.О. Сперанский: "О теории истины по Крипке"

Четверг, 23 ноября, Институт философии СПбГУ (Менделеевская линия, д. 5), ауд. 27 (правая лестница, 2-ой этаж). Начало в 17:20.

Докладчик: С.О. Сперанский.

Тема: О теории истины по Крипке.

Пятница 31.03.2017. С.О. Сперанский: "О сложности «элементарных» теорий различных классов вероятностных пространств"

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

Докладчик: С.О. Сперанский (СПбГУ).

Тема: О сложности «элементарных» теорий различных классов вероятностных пространств.

Понедельник 21.11.2016. В.П. Оревков: "Обратный метод для классического и интуиционистского исчислений предикатов"

Понедельник, 21 ноября, ПОМИ РАН, ауд. 106. Начало в 14:00.

Докладчик: В.П. Оревков.

Тема: Обратный метод для классического и интуиционистского исчислений предикатов.

Понедельник 07.11.2016. Павлов В.А.: "Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова"

Понедельник, 7 ноября, ПОМИ РАН, ауд. 106. Начало в 14:00.

Докладчик: В.А. Павлов (СПбПУ).

Тема: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова.

Thursday, July 14, 2016. Zlatan Damnjanovic: "Concatenation theory: a new framework for formalist foundations of mathematics"

Четверг, 14 июля, ПОМИ РАН. Начало в 14:00.

Докладчик: Zlatan Damnjanovic (University of Southern California, Dornsife).

Тема: Concatenation theory: a new framework for formalist foundations of mathematics.

Понедельник, 22.09.2014. А.С. Герасимов: "Семантические таблицы с метапеременными для логики нечётких неравенств"

Понедельник, 22 сентября, ПОМИ РАН, ауд. 203. Начало в 14:00.

Докладчик: А.С. Герасимов (СПбГУ).

Тема: Семантические таблицы с метапеременными для логики нечётких неравенств.

Свойства эффективности интуиционистской теории множеств, содержащей арифметику и конструктивнные принципы.

Понедельник, 15 октября, комната 106. Начало в 14:00.

Докладчик: Д.М. Смелянский (Москва).

Тема: Свойства эффективности интуиционистской теории множеств, содержащей арифметику и конструктивнные принципы..

Syndicate content