Logic

Research Frontiers in Hypersequent Calculus and Multi-Premise Rules

Investigation of extensions to sequent calculus using hypersequents for logics with non-congruential rules.

All Logic PhD categories