group-telegram.com/msu_mathlog/231
Last Update:
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг 22 мая, начало в 18:30, состоится доклад
А.С.Герасимов
(Санкт-Петербург, СПбПУ )
"Депренексификация в финитарных аналитических исчислениях для первопорядковой бесконечнозначной логики Лукасевича и полнота основанных на них инфинитарных исчислений"
В докладе рассматривается несколько финитарных аналитических гиперсеквенциальных исчислений для первопорядковой бесконечнозначной логики Лукасевича \L$\forall$, включая введённое Баацем (Baaz) и Меткалфом (Metcalfe) исчисление G\L$\forall$ для \L$\forall$. В этих исчислениях правило сечения не допустимо и, вообще говоря, формула и её (определённая чисто синтаксически) пренексная форма не равновыводимы. Однако мы предлагаем метод депренексификации, позволяющий любой вывод любой гиперсеквенции H, в которой выделено вхождение любой пренексной формы любой формулы F, алгоритмически перестроить в вывод гиперсеквенции, полученной из H заменой этого вхождения на F. С помощью этого метода мы устанавливаем полноту инфинитарных аналитических исчислений, основанных на вышеупомянутых финитарных исчислениях для \L$\forall$. В частности, даём первое верное доказательство полноты основанного на G\L$\forall$ инфинитарного аналитического исчисления для \L$\forall$.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки Zoom пишите на почту [email protected].
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
➰ ВК
BY Кафедра математической логики и теории алгоритмов мехмата МГУ
Share with your friend now:
group-telegram.com/msu_mathlog/231