2024-05-17: Ross Horne (MSP)

Tue, 14 May 2024 14:14:39 +0000

Ross Horne (MSP)

What is deep inference?

Abstract

Deep inference is a branch of proof theory where inference rules can be applied in any context, much like in categorical logic. What I find fun in this area is that it has been used to define new logics for which there exists no sequent calculus nor even a semantics (yet). I'll introduce some simple deep inference systems first. Next, I'll point to recent work where we generalise logic beyond formulas to graphs.

2024-05-17 15:00:00 UTC
LT209 and Online