Logic

Research Frontiers in Substructural Logic and Resource Management

Investigation of logics without structural rules like weakening and contraction to model resource-sensitive reasoning in computation and linguistics.

All Logic PhD categories