Similar Items: Inducing syntactic cut-elimination for indexed nested sequents
- On Nested Sequents for Constructive Modal Logics
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- The Structure of Differential Invariants and Differential Cut Elimination
- Generic Modal Cut Elimination Applied to Conditional Logics
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets