На 3 декември 2021 г. (петък) ще се проведе дистанционно заседание на семинара по „Алгебра и логика”, на което ще бъдат изнесени два доклада. Заседанието ще се проведе като част от отчетната сесия на секция “Алгебра и логика” за 2021 г.
От 13:00 до 13:30 часа доклад на тема
Теорема за разделянето в интервалната темпорална логика с дискретно време
ще изнесе Димитър Гелев (съвместна работа с Бен Мошковски).
Докладът ще бъде изнесен на български език с презентация на английски език.
Резюме: Теоремата за разделянето на Габай за линейната темпорална логика (LTL) с оператори за миналото е доказано един от най-полезните теоретични резултати в темпоралната логика. В този доклад уста-новяваме аналогично твърдение за пропозиционалната интервална темпорална логика (ITL) с дискретно време на Мошковски с два набора разширяващи модалности, а именно едноместните модал-ности за лява и дясна околност и двуместните слаби обратни на оператора chop на ITL, които са взаимозаменяеми. Доказваме, че разделянето е в сила за ITL и със и без нейния оператор за изра-зяване на циклично поведение chop-star. Най-напред даваме кратки предварителни сведения за ITL и LTL, и за значението на теоремата за разделянето за приложенията, известни за случая на LTL, в значителна своя част, преносими и за новия случай на ITL.
От 13:30 до 14:00 часа доклад на тема
Restricted Quantification in New Type-Theory of Algorithms
ще изнесе Русанка Луканова.
Докладът ще бъде изнесен на английски език.
Abstract: In this talk, I present an extended Type-Theory of Algorithms for restricted computations. The restrictor operator supports algorithmic rules of introduction and elimination, for each of the existential and universal quantifiers. I define and discuss new rules of existential quantification.
My focus is on development of mathematics of Type Theory, from the perspective of new, advanced technological applications. I shall point to one of its most important applications for representing semantic underspecification of quantifier scope.
Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:
https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09
Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Nov 26, 2021 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: 035647
От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================