Mathematical Logic Foundations

Research Frontiers in Girard''s Linear Logic Extensions

Exploration of extensions to linear logic including polarity, focusing, and applications to proof search and logical frameworks.

All Mathematical Logic & Foundations PhD categories