sequent calculus (plural sequent calculi) (mathematics, logic) A set of inference rules for deriving true sequents from other true sequents....
subsequent that follows on — see consequent recurring in succession sequent (plural sequents) Something that follows in a given sequence. 1946, Bertrand Russell...
sequentēs nominative/accusative/vocative masculine/feminine plural of sequēns sequentes in Charles du Fresne du Cange’s Glossarium Mediæ et Infimæ Latinitatis...
sequency (plural sequencies) (mathematics) Half the number of zero crossings in the time base of a Walsh function. 2014, R. A.M. Gregson, Time Series...
object possesses. (mathematics, logic) A property satisfied by structural translations from sequents into equations or from equations into sequents....
From hyper- + sequent. hypersequent (plural hypersequents) (mathematics) A multidimensional generalization of a sequent hypersequential...