#матлог #учёба #спецсеминар

22 апреля 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

А. С. Закиров, С. А. Славнов, М. А. Чурилов

Совместная логика задач и высказываний и поляризованные логики

Аннотация:
Логика задач и высказываний HC, введенная Мелиховым, это двухсортовая логика содержащая формулы "интуиционистcкого" и "классического" сорта (соответственно "задачи" и "высказывания"), связанные двумя сопряженными модальностями, переключающими сорта. Логика НС появилась сравнительно недавно, и до сегодняшнего дня для нее отсутствовала даже генценовская формулировка. Мы приводим исчисление секвенций для HC и обсуждаем ее алгебраическую и категорную семантику. Мы обнаруживаем глубокое родство HC с линейной логикой и ее непосредственную связь с поляризованными вариантами линейной логики.

Докладчик: Сергей Славнов.