Logic

Research Frontiers in Substructural Logic and Resource Management

Investigation of logical systems that restrict structural rules to model resource consumption and computational constraints in formal systems.

All Logic PhD categories