CUT-FREE SINGLE-SUCCEDENT SYSTEMS REVISITED
Norihiro Kamide · 2005
It is shown that LJ with a generalized Dummett rule, LJ with a generalized Peirce rule and LJ with a specialized Peirce rule have the cut-elimination property. It is also shown that the third system has a weak subformula property and Craig’s interpolation property. The systems presented are versions of single-succedent sequent systems for classical logic. The cut-elimination results for the singlesuccedent systems can also be extended to modal logics.