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

Sequent may also refer to:

See also

Allikas: Https://en.wikipedia.org/wiki/Sequent_(disambiguation)
No tags for this post.