Mathematical Logic Foundations

Research Frontiers in Gentzen Sequent Calculi and Proof Search

Develops extensions of Gentzen''s sequent calculi for diverse logical systems and investigates efficient proof search algorithms and cut-elimination procedures.

All Mathematical Logic & Foundations PhD categories