Logic

Research Frontiers in Substructural Logic and Ordered Resource Semantics

Investigation of logical systems that restrict structural rules like weakening and contraction to model ordered, consumable resources and non-commutative reasoning paradigms.

All Logic PhD categories