Proper Display calculi
[1] are a class of
sequent calculi enjoying sufficient conditions
[2, sec. 3] for a canonical cut-elimination theorem.
References:- [1]^ N.D. Belnap, Display Logic, Journal of Philosophical Logic 11 (1982)
- [2]^ H. Wansing, Sequent Systems for Modal Logics, Handbook of Philosophical Logic 8 (2002), 61-145