Sequent

English

Etymology

Template:Root 1550s; borrowed from Template:Bor, from Template:Der, itself borrowed from Template:Der, present participle of Template:M.

Pronunciation

• Template:IPA

Adjective

1. Template:Lb That comes after in time or order; subsequent.
   • Template:Quote-text
2. Template:Lb That follows on as a result, conclusion etc.; consequent Template:M, Template:M, Template:M.
   • Template:RQ:Shakespeare Measure
   • Template:Quote-text
3. Recurring in succession or as a series; successive, consecutive.
   • Template:RQ:Shakespeare Othello

Related terms

• Template:L

Translations

• Bulgarian: Template:T+
• Finnish: Template:T+
• Russian: Template:T+, Template:T+, Template:T+

Noun

1. Something that follows in a given sequence.
   • Template:Quote-text
2. Template:Lb 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
   Template:Monospace, which in ordinary language could be expressed as "a and b give c or d".

3. Template:Lb A follower.
   • Template:RQ:Shakespeare Love's Labour's Lost
4. Template:Lb A sequential calculus

Derived terms

• Template:L
• Template:L

Translations

• Finnish: Template:T+
• Russian: Template:T

• Finnish: Template:T+

Further reading

• Template:R:Webster 1913
• Template:R:Century 1911