Definitions
American Heritage® Dictionary of the English Language, Fourth Edition
- adj. Following in order or time; subsequent.
- adj. Following as a result; consequent.
- n. A result; a consequence.
Century Dictionary and Cyclopedia
- Continuing in the same course or order; following; succeeding.
- Following by natural or logical consequence.
- n. A follower.
- n. A sequence or sequel; that which follows as a result.
- n. That which follows by an observed order of succession: used, in opposition to antecedent, where one wishes to avoid the implication of the relation of effect to cause that would be conveyed by the use of consequent.
Wiktionary
- adj. obsolete That comes after in time or order; subsequent.
- adj. That follows on as a result, conclusion etc.; consequent to, on, upon.
- adj. Recurring in succession or as a series; successive, consecutive.
- n. Something that follows in a given sequence.
- n. logic An element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements.
- n. obsolete A follower.
GNU Webster's 1913
- adj. Following; succeeding; in continuance.
- adj. Following as an effect; consequent.
- n. rare A follower.
- n. That which follows as a result; a sequence.
WordNet 3.0
- adj. in regular succession without gaps
- adj. following or accompanying as a consequence
Etymologies
- From Old French sequent, from Latin sequentem, present participle of sequi ("to follow"). (Wiktionary)
- Latin sequēns, sequent-, present participle of sequī, to follow; see sequence. (American Heritage® Dictionary of the English Language, Fourth Edition)
Examples
“He therefore invented another logical calculus that he called sequent calculus (Sequenzenkalkul, literally “calculus of sequences”) and made it the central topic of his thesis.”
“The ten thralls answered him with one mouth and in sequent words, saying, Whatso thou biddest us,”
“If at any stage of this “reduction process” the conclusion of a sequent is a compound formula, you have to consider any conjunct or any instance of universal quantification as a possible conclusion.”
“Every body know their truth by sequent 12 on Thursday, Sep 3, 2009 at 2: 00: 12 AM”
“Inside the magazine, she is shown wearing a range of outfits, including a sequent top and leather pants.”
“Ketonen's idea was to define a system of proof search: one starts from a given sequent to be derived, chooses a formula in it, and writes the premisses of a rule that can conclude the given sequent.”
“A cut with such a sequent as one premiss has the other premiss equal to the conclusion and can therefore be deleted.”
“Failure of the aims of Hilbert through Gödel's incompleteness theorems; Gentzen's creation of the two main types of logical systems of contemporary proof theory, natural deduction and sequent calculus”
“Ketonen wanted to formulate Skolem's formal rules of proof within sequent calculus.”
“With Kleene's book, Gentzen's sequent calculi became generally known and accessible.”
Lists
These user-created lists contain the word ‘sequent’.
-
Words build meanings from origins( et...
These come from gamma meditation ,I think.
discursive, exogenous, machinations, purportedly, sumptuous, congruity, cantankerous, incongruous, festoon, hessian, ratiocinative, stratigraphic and 2046 more...
-
Philosophic , etymology
every major discipline has uniquely developed esoteric nomenclature to facilitate interdisciplinary dissemination
quale , qualia, elegy, tacet, lexicon, annunciate, caste, eros, contrive, purlicue, irony, venacular, dilapidate and 567 more...
-
big book gre
abase, abbess, abbey, abbot, abdicate, abdomen, abdominal, abduction, abed, aberration, abet, abeyance and 6691 more...
-
theastic's Words
cellar, stalemate, wrought, opal, tyrant, squelch, squab, linen, tartan, paisley, scope, siren and 395 more...
-
DEF's list
Obscure Words
obfuscate, harbinger, morose, meniscus, conspicuous, grandiose, cogitated, matron, erudite, oness, apothegms, assuage and 475 more...
-
Adjectival Arcana
A roster of adjectives that infrequently surface in typical conversation and writing. Many are dredged from scientific or other technical jargon or sieved from examples of disused archaic forms.
unitegmic, acaulescent, reticuloendothelial, ingressive, uniate, acanthopterygian, ossific, epiphysial, perivisceral, acœlomatous, cestoid, acælomate and 7756 more...
-
2008 Wordlist
Hopefully, I'll be using this site for more than one year. It will be fun then to look back and see what new words I found worthy of notice in any given year.
All words spotted in 2008...longanimity, permalancer, breeder, biodegradable, handicapable, gender-neutral, translator, interpreter, translation, interpreting, kleptocracy, fanfiction and 1598 more...
-
nether's list
adroit, recrudescent, ecclesiastical, canaille, philologian, ignoble, dilettante, vicegerant, gilt, enfiladed, somnambulism, gamin and 215 more...
Tweets
Looking for tweets for sequent.
yarb He learned the wheelwright's trade, and really that seemed all there was to tell. The rest had been calm and sequent progression--steady employment as a journeyman first; then marriage and a house and lot; the modest start as a master; the move to Octavius and cheap lumber; the growth of his business, always marked of late years stupendous--all following naturally, easily, one thing out of another.
- Harold Frederic, The Damnation of Theron Ware, ch. 9 Aug 1, 2008