succedent
Meanings
adj
- That succeeds; succeeding, following
noun
- The formulas on the right-hand side of a sequent.
Word forms
Antonyms
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.