Logic

Research Frontiers in Affine Logic and Linear Consumption Tracking

Explores logical frameworks permitting weakening but not contraction to formalize systems where resources may be discarded but not duplicated.

All Logic PhD categories