2. Noun. (logic) The formulas on the right-hand side of a sequent. ¹
¹ Source: wiktionary.com
Definition of Succedent
1. [adj]
Lexicographical Neighbors of Succedent
Other Resources:
2. Noun. (logic) The formulas on the right-hand side of a sequent. ¹
¹ Source: wiktionary.com
1. [adj]