Mathematical Logic Foundations

Research Frontiers in Ludics and Interaction Semantics

Develops ludics as a semantics for linear logic based on interaction protocols and game-theoretic principles for proof representation.

All Mathematical Logic & Foundations PhD categories