2025-11-24: Vikraman Choudhury (MSP)

Mon, 1 Dec 2025 19:28:31 +0000

Vikraman Choudhury (MSP)

Semantic analysis of Polarization

Abstract

Polarization is a proof-theoretic technique used to study various kinds of logics with classical dualities. I will give a model-theoretic explanation of polarization in the context of classical logic and classical linear logic (Girard and Laurent). Finally, I will show a higher-dimensional generalisation of these ideas to generalised species.

2025-11-24 13:00:00 UTC
LT310 and online