Mathematical Logic Foundations

Research Frontiers in Multiplicative-Additive Systems and Phase Semantics

Studies phase semantics and coherence spaces as models for fragments of linear logic combining multiplicative and additive structure.

All Mathematical Logic & Foundations PhD categories