Select a category to explore research frontiers
Loading categories...
Investigation of proof-theoretic properties of sequent calculi, including cut elimination, structural rules, and their role in characterizing logical systems and establishing proof-theoretic ordinals.