Mathematical Logic Foundations

Research Frontiers in Structural Proof Theory and Display Logic

Investigates display logic and related structural proof systems designed to handle substructural logics with refined structural rules and connectives.

All Mathematical Logic & Foundations PhD categories