Copyright © Philip M. Parker, INSEAD. Terms of Use.
Definition: Sequent |
SequentAdjective1. In regular succession without gaps; "serial concerts". 2. Following as an effect or result; "the period of tension and consequent need for military preparedness"; "the ensuant response to his appeal"; "the resultant savings were considerable"; "the health of the plants and the resulting flowers". Source: WordNet 1.7.1 Copyright © 2001 by Princeton University. All rights reserved. |
Date "sequent" was first used in popular English literature: sometime before 1321. (references) |
| Domain | Definition |
Computing | Sequent |
Source: compiled by the editor from various references; see credits. | |
(From Wikipedia, the free Encyclopedia)
In proof theory, a sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction. A sequent has the formwhere both Γ and Σ are sequences of logical formulae (i.e. both the number and the order of the occurring formulae matter). The symbol is usually referred to as turnstile, tee, or, more suggestively, read as "proves". In a sequent, Γ is called the antecedent and Σ is said to be the succedent of the sequent.
The intuitive meaning of a statement as the one given above is that under the assumption of Γ the conclusion of Σ is provable. In a classical setting, the formulae on the left of the turnstile are interpreted conjunctively while the formulae on the right are considered as a disjunction. This means that, when all formulae in Γ hold, then at least one formula in Σ also has to be true. If the succedent is empty, this is interpreted as falsity, i.e. means that Γ proves falsity and is thus inconsistent. On the other hand an empty antecedent is assumed to be true, i.e. means that Σ follows without any assumptions, i.e. it is always true (as a disjunction), and is thus a assertion.
The above interpretation, however, is only pedagogical. Since formal proofs in proof theory are purely syntactically, the meaning of (the derivation of) a sequent is only given by the properties of the calculus that provides the actual rules of inference.
The general notion of sequent introduced here can be specialized in various ways. A sequent is said to be an intuitionistic sequent if there is at most one formula in the succedent. This form is needed to obtain calculi for intuitionistic logic.
In many cases, sequents are also assumed to consist of multisets or sets instead of sequences. Thus one disregards the order or even the number of occurrences of the formulae. For classical propositional logic this does not yield a problem, since the conclusions that one can draw from a collection of premisses does not depend on these data. In substructural logic, however, this may become quite important.
Historically, sequents have been introduced by Gentzen in order to specify his famous sequent calculus. In his German publication he used the word "Sequenz". However, in English, the word "sequence" in already used as a translation to the German "Folge" and appears quite frequently in mathematics. The term "sequent" then has been created in search for an alternative translation of the German expression.
Sequent is a software company, acquired by IBM. They were notable for the Dynix Unix variant.
Source: adapted by the editor from Wikipedia, the free encyclopedia under a copyleft GNU Free Documentation License (GFDL) from the article "Sequent."
Synonyms: SequentSynonyms: consecutive (adj), consequent (adj), ensuant (adj), resultant (adj), resulting(a) (adj), sequential (adj), serial (adj), successive (adj). (additional references) |
| Context | Synonyms within Context (source: adapted from Roget's Thesaurus). |
Sequence | Adjective: succeeding;Verb: sequent; subsequent, consequent, sequacious, proximate, next; consecutive; (continuity); alternate, amoebean. |
| Source: adapted from Roget's Thesaurus. | |
Crosswords: Sequent |
| Specialty definitions using "sequent": Austin Kyoto Common Lisp ♦ Common LISP in Parallel, CParaOps5 ♦ Fools' Lisp ♦ Haskell B ♦ jc ♦ Marlais ♦ Steve's Shell ♦ UC. (references) |
| Domain | Title |
Books | |
Source: compiled by the editor from various references; see credits. | |
| "Sequent" is generally used as a noun (proper) -- approximately 52.81% of the time. "Sequent" is used about 231 times out of a sample of 100 million words spoken or written in English. Its rank is based on over 700,000 words used in the English language. Some parts-of-speech are not covered due to the samples used by the British National Corpus. (note: percents less than one-hundredth of one percent have been omitted) |
| Parts of Speech | Percent | Usage per 100 Million Words | Rank in English |
| Noun (proper) | 52.81% | 122 | 29,069 |
| Adjective (general or positive) | 46.75% | 108 | 31,306 |
| Noun (common) | 0.43% | 1 | 339,140 |
| Total | 100.00% | 231 | N/A |
Source: compiled by the editor from several corpora; see credits.
Expressions using "sequent": consecutive sequent sequential serial successive ♦ relative sequent depth of hydraulic jump ♦ sequent to smth.. Additional references. | |
| Hyphenated Usage | |
Beginning with "sequent": sequent-based. | |
Ending with "sequent": sub-sequent. | |
| Source: compiled by the editor from various references; see credits. | |
| The following statistics estimate the number of searches per day across the major English-language search engines as identified by various trade publications. Hyperlinks lead to commercial use of the expression at Amazon.com. |
| Expression | Frequency per Day |
sequent | 31 |
energy sequent | 8 |
sequent technology | 2 |
| Source: compiled by the editor from various references; see credits. | |
| Language | Translations for "sequent"; alternative meanings/domain in parentheses. | |
Albanian | Rezultues (consequent, resultant), Pasues (adherent, coming, consequent, cortege, disciple, follow up, follower, following, hanger-on, henchman, incoming, next, proximate, puisne, pursuant to, pursuivant, subsequent, successive, successor). (various references) | |
Arabic | متوال (consecutive, successive), متتابع (consecutive, sequential, successive), متسلسل (serial), متعاقب (alternate, consecutive, rotatory, sequential, successive), تال (after, next, posterior, subsequent, ulterior). (various references) | |
Bulgarian | явяващ Се Като езултат, Следващ. (various references) | |
Czech | Následující (after, ensuing, following, next, sequacious, sequential, subsequent). (various references) | |
Danish | relativ slutdybde af det hydrauliske spring (relative sequent depth of hydraulic jump). (various references) | |
Dutch | toegevoegde waterdiepte gerelateerd aan de initiële energiehoogte bij de watersprong (relative sequent depth of hydraulic jump). (various references) | |
Finnish | vesikynnyksen suhteellinen loppukorkeus (relative sequent depth of hydraulic jump). (various references) | |
French | Suivant, Séquentiel (sequential). (various references) | |
German | aufeinanderfolgende (successive), aufeinanderfolgend (consecutive, sequently, successive). (various references) | |
Greek | Ακόλουθοσ, Ακολουθών, Ακολουθία, Αποτέλεσμα. (various references) | |
Hungarian | Következõ (ensuing, following, implied, next, next/following, sequence, sequential, subsequent). (various references) | |
Italian | profondit relativa a valle del risalto idraulico (relative sequent depth of hydraulic jump). (various references) | |
Pig Latin | equentsay.(various references) | |
Portuguese | sucessivo (successive), subsequente (after, afters, ensuing, puisne, sequential, subsequent), seqüente (sequential), que se segue, conseqüente (consequent, consequential, consistent, sequacious, sequential), consecutivo (consecutive, consequential, successive). (various references) | |
Russian | являющийся Следствием, следующий (ensuing, following, next, proximate, secondary), Следующий. (various references) | |
Serbo-Croatian | sledstven, sledeći (following, next, second, sequential, subsequent, succeeding, ulterior). (various references) | |
Spanish | Sucesivo (consecutive, following, next, sequential, succeeding, successive), Consecutivo (consecutive, following, next, sequential, serial, successive), Consecuente (consequent, consistent, logic, logical, sequential). (various references) | |
Swedish | Följande (following, next), Därav Följande (sequential). (various references) | |
Thai | ผลลัพธ์ (คำทางการ), ต่อเนื่องกัน (successive). (various references) | |
Turkish | Sonucu Olan (consequent, consequential), Sıralı (in line, in order, in train, serial, serried), Ýzleyen, Art Arda Gelen. (various references) | |
Ukrainian | Наступний, Що " Наслідком. (various references) | |
Vietnamese | theo dãy (sequential), liên tiếp theo sau (sequential), liên tục (cease, consecutive, continual, continuous, continuously, endless, reel, running, sequential, together, unceasing, unintermittent, unremitting). (various references) | |
| Source: compiled by the editor from various translation references. | ||
Derivations | |
Words beginning with "sequent": sequential, sequentially, sequents. (additional references) | |
Words ending with "sequent": consequent, inconsequent, subsequent. (additional references) | |
Words containing "sequent": consequential, consequentialities, consequentiality, consequentially, consequentialness, consequentialnesses, consequently, consequents, inconsequential, inconsequentialities, inconsequentiality, inconsequentially, inconsequently, nonsequential, subsequently, subsequents. (additional references) | |
| |
"Sequent" is suggested in spellcheckers for the following: Dequeen, equant, equint, pequena, requent, Sequanna, sequen, Sequens, sequenty. (additional references) | |
| Source: compiled by the editor, based on several corpora (additional references). | |
| # of Phoneme Matches | Pronunciation | Word(s) rhyming with "sequent" (pronounced sē"kwunt) |
| 6 | -ē" k w u n t | frequent, infrequent. |
| 5 | -k w u n t | consequent, delinquent, eloquent, grandiloquent, subsequent. |
| 3 | -u n t | agent, aggrandizement, agreement, ailment, alignment, allotment, amazement, ambient, ambivalent, amendment, amusement, ancient, announcement, annulment, antecedent, antidepressant, antigovernment, antioxidant, apartment, apparent, appeasement, applicant, appointment, apportionment, ardent, argent, argument, armament, arraignment, arrangement, arrant, arrogant, absent, absorbent, abstinent, abundant, accelerant, accident, accompaniment, accomplishment, abandonment, abatement, aberrant, abhorrent, abortifacient, accountant, accouterment, achievement, acknowledgement, acknowledgment, adamant, adherent, adjacent, adjournment, adjustment, adjutant, adolescent, adornment, advancement, advertisement, advisement, afferent, affiant, affluent, ascendant, aspirant, assailant, assessment, assignment, assistant, assortment, astonishment, astringent, atonement, attachment, attainment, attendant, banishment, basement, battlement, belligerent, bemusement, beneficent, benevolent, bereavement, betterment, bewilderment, blandishment, blatant, bombardment, brilliant, buoyant, celebrant, claimant, clairvoyant, Clement, client, coefficient, cogent, cognizant, coherent, coincident, combatant, commandment, commencement, commitment, compartment, competent, complacent, complainant, complaisant, complement, compliant, component, comportment, concealment, concomitant, concurrent, condiment, confident, confinement, confluent, consignment, consistent, consonant, constant, constituent, consultant, containment, contaminant, contentment, contestant, continent, contingent, convalescent, convenient, convent, convergent, conversant, coolant, copayment, corespondent, cormorant, correspondent, Courant, covenant, Crescent, crosscurrent, current, curtailment, ignorant, immanent, immigrant, imminent, impairment, impatient, impeachment, impediment, impertinent, implement, important, impotent, impoundment, impoverishment, impressment, imprisonment, improvement, imprudent, inadvertent, incandescent, debarment, debasement, decadent, decedent, decent, declarant, decongestant, defendant, deferment, defiant, deficient, defoliant, deodorant, department, dependent, deployment, deportment, depressant, derailment, descendant, descendent, despondent, detachment, detergent, determent, determinant, deterrent, detriment, development, deviant, different, diligent, diminishment, disagreement, disappointment, disarmament, disbarment, disbursement, discernment, discordant, discouragement, disenchantment, disenfranchisement, disengagement, disestablishment, disgruntlement, disillusionment, disinfectant, disinvestment, dismantlement, dismemberment, disobedient, dispersant, displacement, dissident, dissonant, distant, divalent, divergent, divestment, docent, dominant, dormant, easement, ebullient, efferent, effervescent, efficient, effluent, elegant, element, elephant, embankment, embarrassment, embayment, embellishment, embezzlement, embodiment, emergent, emigrant, eminent, emplacement, employment, empowerment, enactment, encampment, enchantment, encirclement, encouragement, encroachment, endangerment, endearment, endorsement, endowment, enforcement, engagement, enhancement, enjoyment, enlargement, enlightenment, enlistment, enrichment, enrollment, enslavement, entanglement, entertainment, enticement, entitlement, entombment, entrant, entrapment, entrenchment, environment, equipment, equivalent, errant, escapement, escarpment, esculent, establishment, estrangement, evanescent, evident, excellent, excitement, excrement, exigent, existent, exorbitant, expectant, expectorant, expedient, experiment, exponent, extant, extinguishment, extravagant, exuberant, exultant, Fabricant, fervent, figment, filament, flagrant, flamboyant, flatulent, flippant, fluent, fluorescent, formant, fragment, fragrant, fraudulent, fulfillment, gallant, garment, garnishment, giant, government, grandparent, harassment, hesitant, hydrant, incessant, incident, incipient, incitement, inclement, incoherent, incompetent, inconsistent, incontinent, inconvenient, increment, incumbent, indecent, independent, indictment, indifferent, indigent, indignant, indolent, inducement, indulgent, inefficient, infant, informant, infotainment, infringement, ingredient, inhabitant, inhalant, inherent, innocent, inpatient, insignificant, insistent, insolent, insolvent, installment, instant, instrument, insufficient, insurgent, integument, intelligent, intercurrent, interdependent, intermittent, internment, intersegment, intolerant, intransigent, invariant, investment, involvement, iridescent, irrelevant, irreverent, irritant, itinerant, jubilant, judgement, judgment, latent, leant, lenient, lieutenant, ligament, litigant, lubricant, lucent, luminescent, luxuriant, magnificent, malevolent, malignant, maltreatment, management, measurement, merchant, micromanagement, migrant, militant, miscreant, misgovernment, misjudgment, mismanagement, misstatement, mistreatment, moment, monovalent, monument, mordant, movement, mutant, nascent, negligent, noncombatant, nonexistent, nongovernment, nonmanagement, nonpayment, nonresident, nonviolent, nourishment, nutrient, obedient, observant, obsolescent, occupant, odorant, ointment, omnipotent, omnipresent, omniscient, operant, opponent, opulent, ornament, orpiment, outpatient, outplacement, overconfident, overpayment, overstatement, oxidant, pageant, parchment, parent, parliament, participant, patent, patient, pavement, payment, peasant, penchant, pendant, penitent, pennant, percipient, permanent, persistent, pertinent, petulant, pheasant, pigment, piquant, placement, pleasant, pliant, poignant, pollutant, postponement, postretirement, potent, preadolescent, precedent, predicament, predominant, preeminent, pregnant, prejudgment, prepayment, prescient, present, presentment, prevalent, procurement, proficient, prominent, pronouncement, propellant, proponent, protestant, provident, prudent, prurient, pungent, punishment, pursuant, puzzlement, quadrant, quiescent, quotient, radiant, rampant, readjustment, reagent, realignment, reappointment, reapportionment, rearmament, rearrangement, reassessment, reassignment, recalcitrant, recent, recipient, recombinant, recruitment, recurrent, redeployment, redevelopment, redundant, reemployment, reenactment, refinement, refreshment, refrigerant, refurbishment, Regent, regiment, registrant, reimbursement, reinforcement, reinstatement, reinvestment, relevant, reliant, reluctant, reminiscent, remnant, repayment, repellent, repentant, replacement, replenishment, repugnant, requirement, resentment, resettlement, resident, resilient, resistant, resonant, resplendent, respondent, restatement, resultant, resurgent, retardant, reticent, retirement, retrenchment, reverent, rodent, rudiment, ruminant, sacrament, salient, seafront, sealant, sediment, segment, semipermanent, sentiment, sergeant, serpent, servant, settlement, shipment, significant, silent, solvent, somnolent, stagnant, statement, stimulant, strident, stringent, student, subcontinent, subservient, succulent, sufficient, supergiant, superintendent, supplement, supplicant, suppressant, surfactant, talent, tangent, temperament, tenant, tenement, testament, tetravalent, tolerant, torrent, tournament, transcendent, transient, translucent, transparent, treatment, trenchant, trident, triumphant, truant, truculent, tumescent, turbulent, tyrant, undercurrent, underdevelopment, underemployment, undergarment, underpayment, understatement, unemployment, unimportant, unpleasant, unrepentant, urgent, vacant, vagrant, valiant, variant, vehement, verdant, vibrant, vigilant, violent, virulent, warrant, wonderment. |
Source: compiled by the editor (additional references); see credits. | ||
Scrabble® Enable2K-Verified Anagrams | |
| Words within the letters "e-e-n-q-s-t-u" | |
-1 letter: queens, tenues. | |
-2 letters: ensue, queen, quest, sente, teens, tense, tunes, unset. | |
-3 letters: nest, nets, nuts, seen, sene, sent, stun, suet, teen, tees, tens, tune, tuns. | |
-4 letters: ens, nee, net, nus, nut, see, sen, set, sue, sun, suq, tee, ten, tun, uns, use, uts. | |
-5 letters: en, es, et, ne, nu, un, us, ut. | |
| Words containing the letters "e-e-n-q-s-t-u" | |
+1 letter: quietens, sequents. | |
+2 letters: frequents, quiescent, quietness. | |
+3 letters: banqueters, banquettes, consequent, equestrian, equinities, equipments, inequities, liquescent, queenliest, quercetins, questioned, questioner, quintettes, reconquest, requesting, sequential, subsequent, techniques, unquietest. | |
+4 letters: acquiescent, blanquettes, consequents, delinquents, equestrians, equivalents, frequenters, frequentest, gigantesque, inquietudes, netiquettes, preconquest, questioners, quiescently, quietnesses, reconquests, squatnesses, subsequents, unquietness. | |
+5 letters: acquirements, adequateness, barquentines, cinquecentos, consequently, deliquescent, equanimities, equestrienne, equipollents, frequentness, inconsequent, inequalities, quaintnesses, quaternaries, quaternities, questionable, questionless, quintessence, reequipments, requirements, sequentially, sequestering, subsequently, unquestioned. | |
| Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro. | |
| 1. Definition 2. Synonyms 3. Crosswords 4. Usage: Commercial | 5. Usage Frequency 6. Expressions 7. Expressions: Internet 8. Translations: Modern | 9. Derivations 10. Rhymes 11. Anagrams 12. Bibliography |
Copyright © Philip M. Parker, INSEAD. Terms of Use.
