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: |

"The argument from Telegram is, 'You should trust us because we tell you that we're trustworthy,'" Maréchal said. "It's really in the eye of the beholder whether that's something you want to buy into." Since its launch in 2013, Telegram has grown from a simple messaging app to a broadcast network. Its user base isn’t as vast as WhatsApp’s, and its broadcast platform is a fraction the size of Twitter, but it’s nonetheless showing its use. While Telegram has been embroiled in controversy for much of its life, it has become a vital source of communication during the invasion of Ukraine. But, if all of this is new to you, let us explain, dear friends, what on Earth a Telegram is meant to be, and why you should, or should not, need to care. The Dow Jones Industrial Average fell 230 points, or 0.7%. Meanwhile, the S&P 500 and the Nasdaq Composite dropped 1.3% and 2.2%, respectively. All three indexes began the day with gains before selling off. The channel appears to be part of the broader information war that has developed following Russia's invasion of Ukraine. The Kremlin has paid Russian TikTok influencers to push propaganda, according to a Vice News investigation, while ProPublica found that fake Russian fact check videos had been viewed over a million times on Telegram. Messages are not fully encrypted by default. That means the company could, in theory, access the content of the messages, or be forced to hand over the data at the request of a government.
from us


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