1. Hjem
  2. Definisjoner
  3. Engelsk
  4. sequent

Definisjon av sequent

Vi fant 8 definisjoner av sequent på engelsk.

Annonsering

WordNet WordNet by Princeton University

Adjective
sequent - 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"
attendant, consequent, accompanying, concomitant, incidental, ensuant, resultant
subsequent following in time or order; "subsequent developments"
sequent - in regular succession without gaps; "serial concerts"
consecutive, sequential, serial, successive
ordered having a systematic arrangement; especially having elements succeeding in order according to rule; "an ordered sequence"
= synonym
= antonym
= relatert ord

Wiktionary Wiktionary dictionary logo

Substantiv
sequent - Something that follows in a given sequence.
sequent - An element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements.
sequent - A follower.

Adjektiv
sequent - That comes after in time or order; subsequent.
sequent - Recurring in succession or as a series; successive, consecutive.

Wikipedia Wiktionary dictionary logo

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

Uttale

%NAME

%TEXT

Siste søk

acerb modular outstretched crouch dustbin