6 April 2021, The Utrecht Logic in Progress Series (TULIPS), Nick Bezhanishvili

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.