Jump to content

Sequent (disambiguation)

From Wikipedia, the free encyclopedia

A sequent is a formalized statement of provability used within sequent calculus.

Sequent may also refer to:

See also

[edit]