Look up: sequent

1. Sequent
   (company) A computer manufacturer. Quarterly sales $109M, profits $7M (Aug 1994). Sequent computers was acquired by IBM in 1999. [History?] (2003-10-21)
   Found on http://foldoc.org/Sequent
   
   
2. Sequent
   Se'quent adjective [ Latin sequens , -entis , present participle of sequi to follow. See Sue to follow.] 1. Following; succeeding; in continuance. « What to this was sequent Thou knowest already.»...
   Found on http://www.encyclo.co.uk/webster/S/71
   
   
3. Sequent
   Se'quent noun 1. A follower. [ R.] Shak. 2. That which follows as a result; a sequence.
   Found on http://www.encyclo.co.uk/webster/S/71
   
   
4. Sequent
   • (n.) That which follows as a result; a sequence. • (a.) Following as an effect; consequent. • (n.) A follower. • (a.) Following; succeeding; in continuance.
   Found on http://thinkexist.com/dictionary/meaning
   
   
5. Sequent
   In proof theory, a `sequent` is a formalized statement of provability that is frequently used when specifying calculi for deduction. In the sequent calculus, the name sequent is used for the construct which can be regarded as a specific kind of judgment, characteristic to this deduction syste...
   Found on http://en.wikipedia.org/wiki/Sequent
   
   
6. Sequent
   (disambiguation) A `sequent` is a formalized statement of provability that is frequently used when specifying calculi for deduction in proof theory. `Sequent` may also refer to:
   Found on http://en.wikipedia.org/wiki/Sequent
   
   
7. Sequent
   (MUD) `Sequent` was a DikuMUD based MUD running on a Sequent multiprocessor machine at sequent.berkeley.edu as early as May 1991.--> Sequent was created by Raja Kushalnagar ("Duke of Sequent") at the University of California, Berkeley and first released in 1991. Notable MUDs running...
   Found on http://en.wikipedia.org/wiki/Sequent