Sequent (disambiguation)
 |
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
This article is issued from Wikipedia - version of the 11/25/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.