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

11 и 18 февраля 2025 г., в 16:00 на семинаре НОЦ МИАН «Вероятностные и субструктурные логические системы» (https://www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова и С.О. Сперанского будет следующий доклад (в двух частях):

С.Л. Кузнецов, Т.Г. Пшеницын (МИАН)

Исчисление Ламбека с операцией круллева пересечения

Исчисление Ламбека — это субструктурная логика, т. е. логика без правил сокращения, ослабления и перестановки. Одним из естественных классов моделей для исчисления Ламбека являются модели на алгебрах бинарных отношений (R-модели). В рамках доклада будет рассмотрено расширение исчисления Ламбека с помощью операции круллева пересечения, т. е. пересечения степеней данного элемента (начиная с первой). Эта операция в некотором смысле двойственна операции взятия транзитивного замыкания (положительной итерации Клини). В первой части доклада будут доказаны теоремы об устранении сечения, о полноте относительно R-моделей, а также верхняя оценка алгоритмической сложности для исчисления Ламбека с операцией круллева пересечения. Вторая часть будет посвящена доказательству нижней оценки сложности.

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

🔗 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы&


➰ ВК