View source for Sequent

==English==

===Etymology===
{{root|en|ine-pro|*sekʷ-|id=follow}}
1550s; borrowed from {{bor|en|frm|sequent}}, from {{der|en|fro|sequent}}, itself borrowed from {{der|en|la|sequentem}}, present participle of {{m|la|sequī||to follow}}.<ref>{{R:Etymonline}}</ref>

===Pronunciation===
* {{IPA|en|/ˈsiːkwənt/|a=UK}}

===Adjective===
{{en-adj}}

# {{lb|en|obsolete}} That comes [[after]] in time or order; [[subsequent]].
#* {{quote-text|en|year=1860|author=w:James Thomson (B.V.)|title=Two Sonnets|url=http://vasthead.com/Thomson/two_sonnets.html
|passage=Why are your songs all wild and bitter sad<br>As funeral dirges with the orphans' cries?<br>Each night since first the world was made hath had<br>A '''sequent''' day to laugh it down the skies.}}
# {{lb|en|now|_|rare}} That follows on as a result, conclusion etc.; [[consequent]] {{m|en|to}}, {{m|en|on}}, {{m|en|upon}}.
#* {{RQ:Shakespeare Measure|5|1|passage=But let my Triall, be mine owne Confession: / Immediate sentence then, and '''sequent''' death, / Is all the grace I beg.}}
#* {{quote-text|en|year=1897|author=w:Henry James|title=What Maisie Knew
|passage=Maisie found herself clutched to her mother's breast and passionately sobbed and shrieked over, made the subject of a demonstration evidently '''sequent''' to some sharp passage just enacted.}}
# Recurring in succession or as a series; [[successive]], [[consecutive]].
#* {{RQ:Shakespeare Othello|1|2|passage=The Gallies Haue sent a dozen '''sequent''' Messengers / This very night, at one anothers heeles: / And many of the Consuls, rais'd and met, / Are at the Dukes already.}}

====Related terms====
* {{l|en|sequence}}

====Translations====
{{trans-see|that comes after|subsequent}}

{{trans-see|that follows on|consequent}}

{{trans-top|recurring in succession}}
* Bulgarian: {{t+|bg|следващ}}
* Finnish: {{t+|fi|perättäinen}}
* Russian: {{t+|ru|после́дующий}}, {{t+|ru|сле́дующий}}, {{t+|ru|последовательный}}
{{trans-bottom}}

===Noun===
{{en-noun}}

# Something that follows in a given [[sequence]].
#* {{quote-text|en|year=1946|author=w:Bertrand Russell|title=History of Western Philosophy|section=I.30
|passage=The One is somewhat shadowy. It is sometimes called God, sometimes the Good; it transcends Being, which is the first '''sequent''' upon the One.}}
# {{lb|en|logic}} A [[disjunctive]] set of logical formulae which is [[partition|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.<ref>[http://logicinaction.org logicinaction.org], Chapter 8</ref> (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''' <math>a, b \vdash c, d</math> could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be <br>{{monospace|<nowiki>~[(a) (b) ~[(c)] ~[(d)]]</nowiki>}}, which in ordinary language could be expressed as "''a'' and ''b'' give ''c'' or ''d''".''
# {{lb|en|obsolete}} A [[follower]].
#* {{RQ:Shakespeare Love's Labour's Lost|4|2|passage=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.}}
# {{lb|en|maths}} A [[sequential]] [[calculus]]

====Derived terms====
* {{l|en|hypersequent}}
* {{l|en|sequent calculus}}

====Related terms====
{{rootsee|en|ine|sekʷ}}

====Translations====
{{trans-top|something that follows}}
* Finnish: {{t+|fi|seuraus}}
* Russian: {{t|ru|элеме́нт последовательности}}
{{trans-bottom}}

{{trans-top|logic}}
* Finnish: {{t+|fi|seuraus}}
{{trans-bottom}}

===References===
<references />

===Further reading===
* {{R:Webster 1913}}
* {{R:Century 1911}}