Wiktionary
succedent
a. That succeeds; succeeding, following n. (context logic English) The formulas on the right-hand side of a sequent.