succedent
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences The formulas on the right-hand side of a sequent.
- Antonyms
- antecedent
adj, noun — 2 senses
That succeeds; succeeding, following
Human sciences, Logic, Mathematics, Philosophy, Sciences The formulas on the right-hand side of a sequent.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.