Mathematical Logic Foundations

Research Frontiers in Classical Realizability and Truth Values

Develops realizability interpretations for classical logic, analyzing duality between proofs and counterexamples in classical frameworks.

All Mathematical Logic & Foundations PhD categories