Mathematical Logic Foundations

Research Frontiers in Categorical Proof Theory and Coherence

Examines proof-theoretic properties of categorical structures, investigating coherence conditions for functorial interpretations of logical derivations.

All Mathematical Logic & Foundations PhD categories