Similar Items: A sequent calculus for a semi-associative law
- A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
- On Nested Sequents for Constructive Modal Logics
- Inducing syntactic cut-elimination for indexed nested sequents
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
- A Distribution Law for CCS and a New Congruence Result for the pi-calculus
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics