Similar Items: On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- On Nested Sequents for Constructive Modal Logics
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
- Inducing syntactic cut-elimination for indexed nested sequents
- Dual-Context Calculi for Modal Logic
- Absolute geometry with the fourth postulate
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC