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

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

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

в ближайший четверг 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 свои настоящие имя и фамилию!

ВК



group-telegram.com/msu_mathlog/231
Create:
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

View MORE
Open in Telegram


Telegram | DID YOU KNOW?

Date: |

WhatsApp, a rival messaging platform, introduced some measures to counter disinformation when Covid-19 was first sweeping the world. The last couple days have exemplified that uncertainty. On Thursday, news emerged that talks in Turkey between the Russia and Ukraine yielded no positive result. But on Friday, Reuters reported that Russian President Vladimir Putin said there had been some “positive shifts” in talks between the two sides. Multiple pro-Kremlin media figures circulated the post's false claims, including prominent Russian journalist Vladimir Soloviev and the state-controlled Russian outlet RT, according to the DFR Lab's report. Given the pro-privacy stance of the platform, it’s taken as a given that it’ll be used for a number of reasons, not all of them good. And Telegram has been attached to a fair few scandals related to terrorism, sexual exploitation and crime. Back in 2015, Vox described Telegram as “ISIS’ app of choice,” saying that the platform’s real use is the ability to use channels to distribute material to large groups at once. Telegram has acted to remove public channels affiliated with terrorism, but Pavel Durov reiterated that he had no business snooping on private conversations. Now safely in France with his spouse and three of his children, Kliuchnikov scrolls through Telegram to learn about the devastation happening in his home country.
from us


Telegram Кафедра математической логики и теории алгоритмов мехмата МГУ
FROM American