A sequent is a formalized statement of provability used within sequent calculus.
Sequent may also refer to: