На 25 ноември 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.
Доклад на тема:
Logic Operators and Quantifiers in Type-Theory of Algorithms
ще изнесе Русанка Луканова (ИМИ – БАН).
Абстракт. I shall introduce an extension of Moschovakis Type-Theory of Algorithms (LR) and its reduction calculus, by adding logic operators and quantifiers. The LR has two kinds of terms of formulae, for designating state-independent and state-dependent propositions and predications. The logic operators include conjunction, disjunction, implication, and negation. I extend the formal language of LR by state-dependent quantifiers, for enhancing the standard quantifiers of predicate logic. I provide an extended reduction calculus of the Type-Theory of Acyclic Algorithms, for reductions of LR terms to their canonical forms.
Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:
https://us02web.zoom.us/j/
Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Nov 25, 2022 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: 035647
От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================