Mathematical Logic Foundations

Research Frontiers in Display Logic and Display Calculi

Research on display logic methodology providing uniform proof systems for diverse logics with automatic cut elimination properties.

All Mathematical Logic & Foundations PhD categories