Sequent (disambiguation)
A sequent is a formalized statement of provability used within sequent calculus.
 |
Look up sequent in Wiktionary, the free dictionary. |
Sequent may also refer to:
- Sequent (MUD), text-based online game software
- Sequent Computer Systems, a defunct computer hardware company
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.