Please note that this newsitem has been archived, and may contain outdated information or links.
6 April 2021, The Utrecht Logic in Progress Series (TULIPS), Nick Bezhanishvili
Speaker: Nick Bezhanishvili
Title: Linear bi-intuitionistic calculus
Date: Tuesday 6 April 2021
Time: 16:00-17:15
Location: Online
Abstract: In this talk I will overview the logic bi-LC obtained by adding the linearity (Goedel-Dummett) axiom to the bi-intuitionistic calculus bi-IPC. I will discuss some important properties of this logic and highlight the many differences with the Goedel-Dummett intermediate logic LC. I will also mention some open problems about bi-LC and related systems.
Please note that this newsitem has been archived, and may contain outdated information or links.