Logic

Research Frontiers in Focusing and Proof Normalization

Study of focusing techniques in proof systems that constrain proof search while maintaining completeness and enabling normalization.

All Logic PhD categories