Logic

Research Frontiers in Display Logic and Structural Expressivity

Analysis of display calculus providing uniform proof systems for various non-classical logics with cut-elimination.

All Logic PhD categories