Noun
hypersequent (plural hypersequents) (mathematics) A multidimensional generalization of a sequent