Thursday 14 December 2020, 14:00, online: A new connective in propositional logic, Gilles Dowek (LSV, équipe deducteam), joint work (in progress) with Alejandro Díaz-Caro.

We present a propositional logic with a new connective, prove cut elimination for this logic and show that its proof language forms the core of a quantum programming language.