1. Adjective. That succeeds; succeeding, following ¹
2. Noun. (logic) The formulas on the right-hand side of a sequent. ¹
¹ Source: wiktionary.com
1. [adj]