Mathematical Logic Foundations

Research Frontiers in Gentzen-Style Systems and Sequent Calculi

Develops and extends Gentzen''s framework for logical deduction, studying substructural variations and proof-theoretic properties.

All Mathematical Logic & Foundations PhD categories