Look up sequent in Wiktionary, the free dictionary.
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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.