Cut Elimination for a Logic with Generic Judgments and Induction
Cut Elimination for a Logic with Induction and Co-induction
Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic
Cut-elimination for the mu-calculus with one variable
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI
Cut-Simulation and Impredicativity
Cutting Through Regular Post Embedding Problems
Cyclic and Inductive Calculi are equivalent