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

На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ

"Модальная и алгебраическая логика" и "Логические методы в информатике"

в ближайший четверг 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 пишите на почту kudinov.andrey@gmail.com.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!

➰ ВК