sequents

Noun

sequent (plural sequents)

1. Something that follows in a given sequence.
   • The One is somewhat shadowy. It is sometimes called God, sometimes the Good; it transcends Being, which is the first sequent upon the One.1946, Bertrand Russell, History of Western Philosophy, I.30
2. A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)
   • A sequent a,b⊢c,d could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be
     ~[(a) (b) ~[(c)] ~[(d)]], which in ordinary language could be expressed as "a and b give c or d".
3. (obsolete) A follower.
   • Sir Nathaniel, this Biron is one of the votaries with the king; and here he hath framed a letter to a sequent of the stranger queen's, which accidentally, or by the way of progression, hath miscarried.c. 1595–1596 (date written), William Shakespeare, “Loues Labour’s Lost”, in Mr. William Shakespeares Comedies, Histories, & Tragedies […] (First Folio), London: […] Isaac Iaggard, and Ed[ward]...
4. A sequential calculus

See all 7 meanings of sequent