Inducing syntactic cut-elimination for indexed nested sequents

Revantha Ramanayake

The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent,…