succedent

(noun, adjective)

adjective

1. That succeeds; succeeding, following

noun

1. (logic) The formulas on the right-hand side of a sequent.