The next meeting of the Algebra and Logic Seminar will be held on **November 28, 2022** (Friday) **at 1:00 pm (UTC+2)** online in Zoom.

A talk on:

**Logic Operators and Quantifiers in Type-Theory of Algorithms**

**Logic Operators and Quantifiers in Type-Theory of Algorithms**

will be delivered by **Roussanka Loukanova (IMI – BAS).**

**Abstract. **

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.

The seminar will be held online. Join the Zoom link:

https://us02web.zoom.us/j/

Topic: Онлайн семинар на секция “Алгебра и логика”

Time: Nov 25, 2022 01:00 PM Sofia

Meeting ID: 851 3737 5021

Passcode: 035647

Algebra and Logic Department, IMI – BAS

http://www.math.bas.bg/algebra/seminarAiL/

============================== =====================