Misplaced Pages

Sequent (disambiguation)

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

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

Sequent may also refer to:

Sequent (MUD), text-based online game software
Sequent Computer Systems, a defunct computer hardware company
Sequent calculus

See also

Topics referred to by the same term

This disambiguation page lists articles associated with the title Sequent.
If an internal link led you here, you may wish to change the link to point directly to the intended article. Category:

Disambiguation pages