Seminar Announcement
Date: Wednesday, 10 January 2024
Time: 2:00 PM
Venue: Lecture Hall 5
Proof theory of formal languages
Abhishek De
Research Fellow in Proof Theory, University of Birmingham.
10-01-24

---

Abstract

Axiomatisation of regular languages has been studied for a long time. A significant breakthrough was achieved by proving the completeness of Kozen's axiomatisation. We propose an alternative presentation of regular expressions that provides a natural axiomatisation. In this talk, I will present the key ideas behind our main result, namely, the completeness of this axiomatisation. If time permits, I will also briefly discuss extensions to omega-regular languages and context-free languages.