Definitions for sequent
ˈsi kwəntse·quent

Princeton's WordNetRate this definition:0.0 / 0 votes

1. consecutive, sequent, sequential, serial, successiveadjective

   in regular succession without gaps

   "serial concerts"

2. attendant, consequent, accompanying, concomitant, incidental, ensuant, resultant, sequentadjective

   following or accompanying as a consequence

   "an excessive growth of bureaucracy, with attendant problems"; "snags incidental to the changeover in management"; "attendant circumstances"; "the period of tension and consequent need for military preparedness"; "the ensuant response to his appeal"; "the resultant savings were considerable"

WiktionaryRate this definition:0.0 / 0 votes

1. sequentnoun

   Something which follows in a given sequence.

2. sequentnoun

   An element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements.

3. sequentadjective

   That comes after in time or order; subsequent.

4. sequentadjective

   That follows on as a result, conclusion etc.; consequent to, on, upon.

5. sequentadjective

   Recurring in succession or as a series; successive, consecutive.

6. Etymology: From sequent, from sequentem, present participle of sequi.

Samuel Johnson's DictionaryRate this definition:0.0 / 0 votes

1. Sequentadjective

   Etymology: sequens, Latin.

   1. Following; succeeding.

   Let my tryal be mine own confession:
   Immediate sentence then, and sequent death,
   Is all the grace I beg. William Shakespeare, Meas. for Measure.

   There he dies, and leaves his race
   Growing into a nation; and now grown,
   Suspected to a sequent king, who seeks
   To stop their overgrowth. John Milton, Paradise Lost.

   2. Consequential.

2. Sequentnoun

   A follower. Not in use.

   Etymology: from the adjective.

   Here he hath framed a letter to a sequent of the stranger queen’s, which accidentally miscarried. William Shakespeare.

WikipediaRate this definition:0.0 / 0 votes

1. Sequent

   In mathematical logic, a sequent is a very general kind of conditional assertion. A 1 , … , A m ⊢ B 1 , … , B n . {\displaystyle A_{1},\,\dots ,A_{m}\,\vdash \,B_{1},\,\dots ,B_{n}.} A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.

Webster DictionaryRate this definition:0.0 / 0 votes

1. Sequentadjective

   following; succeeding; in continuance

2. Sequentadjective

   following as an effect; consequent

3. Sequentnoun

   a follower

4. Sequentnoun

   that which follows as a result; a sequence

5. Etymology: [L. sequens, -entis, p. pr. of sequi to follow. See Sue to follow.]

FreebaseRate this definition:0.0 / 0 votes

1. 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 system.

How to pronounce sequent?

1. Alex

   US English

   David

   US English

   Mark

   US English

   Daniel

   British

   Libby

   British

   Mia

   British

   Karen

   Australian

   Hayley

   Australian

   Natasha

   Australian

   Veena

   Indian

   Priya

   Indian

   Neerja

   Indian

   Zira

   US English

   Oliver

   British

   Wendy

   British

   Fred

   US English

   Tessa

   South African

How to say sequent in sign language?

Numerology

1. Chaldean Numerology

   The numerical value of sequent in Chaldean Numerology is: 2

2. Pythagorean Numerology

   The numerical value of sequent in Pythagorean Numerology is: 2

Popularity rank by frequency of use