Mathematical Logic Foundations

Research Frontiers in Structural Proof Theory and Cut Elimination

Systematic study of cut elimination theorems across various proof systems including deep inference and nested sequent calculi.

All Mathematical Logic & Foundations PhD categories