Mathematical Logic Foundations

Research Frontiers in Substructural Logics and Ordered Sequents

Investigates logical systems weakening structural rules like contraction and weakening, with applications to relevance and bunched implication.

All Mathematical Logic & Foundations PhD categories