Mathematical Logic Foundations

Research Frontiers in Polarized Logic and Sequentialization

Investigates polarized systems in linear logic and related techniques for controlling proof search and establishing sequentialization theorems.

All Mathematical Logic & Foundations PhD categories