What does sequent mean?

Definitions for sequent
ˈsi kwəntse·quent

This dictionary definitions page includes all the possible meanings, example usage and translations of the word sequent.

Princeton's WordNet

  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"

Wiktionary

  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 Dictionary

  1. Sequentadjective

    Etymology: sequens, Latin.

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

Wikipedia

  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.

ChatGPT

  1. sequent

    A sequent is a logical assertion that a certain conclusion can be derived from a given set of assumptions. It is typically written in the form A1, A2, ..., An ⇒ B, meaning that if assumptions A1 through An are true, then B must also be true. This concept is used primarily in formal logic and proof theory.

Webster Dictionary

  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.]

Wikidata

  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?

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

sequent#10000#58509#100000

Translations for sequent

From our Multilingual Translation Dictionary

  • متسلسلArabic
  • seuraus, perättäinenFinnish
  • последующий, элемент последовательности, последовательный, следующийRussian

Get even more translations for sequent »

Translation

Find a translation for the sequent definition in other languages:

Select another language:

  • - Select -
  • 简体中文 (Chinese - Simplified)
  • 繁體中文 (Chinese - Traditional)
  • Español (Spanish)
  • Esperanto (Esperanto)
  • 日本語 (Japanese)
  • Português (Portuguese)
  • Deutsch (German)
  • العربية (Arabic)
  • Français (French)
  • Русский (Russian)
  • ಕನ್ನಡ (Kannada)
  • 한국어 (Korean)
  • עברית (Hebrew)
  • Gaeilge (Irish)
  • Українська (Ukrainian)
  • اردو (Urdu)
  • Magyar (Hungarian)
  • मानक हिन्दी (Hindi)
  • Indonesia (Indonesian)
  • Italiano (Italian)
  • தமிழ் (Tamil)
  • Türkçe (Turkish)
  • తెలుగు (Telugu)
  • ภาษาไทย (Thai)
  • Tiếng Việt (Vietnamese)
  • Čeština (Czech)
  • Polski (Polish)
  • Bahasa Indonesia (Indonesian)
  • Românește (Romanian)
  • Nederlands (Dutch)
  • Ελληνικά (Greek)
  • Latinum (Latin)
  • Svenska (Swedish)
  • Dansk (Danish)
  • Suomi (Finnish)
  • فارسی (Persian)
  • ייִדיש (Yiddish)
  • հայերեն (Armenian)
  • Norsk (Norwegian)
  • English (English)

Word of the Day

Would you like us to send you a FREE new word definition delivered to your inbox daily?

Please enter your email address:


Citation

Use the citation below to add this definition to your bibliography:

Style:MLAChicagoAPA

"sequent." Definitions.net. STANDS4 LLC, 2024. Web. 20 Jul 2024. <https://www.definitions.net/definition/sequent>.

Discuss these sequent definitions with the community:

0 Comments

    Are we missing a good definition for sequent? Don't keep it to yourself...

    Free, no signup required:

    Add to Chrome

    Get instant definitions for any word that hits you anywhere on the web!

    Free, no signup required:

    Add to Firefox

    Get instant definitions for any word that hits you anywhere on the web!

    Browse Definitions.net

    Quiz

    Are you a words master?

    »
    given to or marked by the consumption of alcohol
    A bonzer
    B tenebrous
    C bibulous
    D askant

    Nearby & related entries:

    Alternative searches for sequent: