Loading Events

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

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

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:


Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Nov 25, 2022 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: 035647

Algebra and Logic Department, IMI – BAS
============================== =====================

Share This Story, Choose Your Platform!

Go to Top