hypersequent

English

Etymology

From hyper- +‎ sequent.

Noun

hypersequent (plural hypersequents)

  1. (mathematics) A multidimensional generalization of a sequent