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...
object possesses. (mathematics, logic) A property satisfied by structural translations from sequents into equations or from equations into sequents....
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...
From hyper- + sequent. hypersequent (plural hypersequents) (mathematics) A multidimensional generalization of a sequent hypersequential...