Room 327

Axiomatizing regular expressions

Kamal Lodaya

IMSc

Proving inclusion or equivalence of the languages of regular expressions in the Lambek tradition has been studied by Girard (1984), Abrusci (1989), Brown and Gurr (1995). There also have been infinite axiomatizations by Buszkowski (2007) and Palka (2007). We will discuss these ideas.