Crossword clues for sequent
sequent
The Collaborative International Dictionary
Sequent \Se"quent\, a. [L. sequens, -entis, p. pr. of sequi to follow. See Sue to follow.]
-
Following; succeeding; in continuance.
What to this was sequent Thou knowest already.
--Shak. Following as an effect; consequent.
Sequent \Se"quent\, n.
A follower. [R.]
--Shak.That which follows as a result; a sequence.
Douglas Harper's Etymology Dictionary
1550s, "following," from Old French sequent "following, subsequent," from Latin sequentem (nominative sequens) "next, following," present participle of sequi "to follow" (see sequel). As a noun from 1580s.
Wiktionary
a. 1 (context obsolete English) That comes after in time or order; subsequent. 2 (context now rare English) That follows on as a result, conclusion etc.; consequent (term: to), (term: on), (term: upon). 3 Recurring in succession or as a series; successive, consecutive. n. 1 Something that follows in a given sequence. 2 (context logic English) An element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements. 3 (context obsolete English) A follower. 4 (cx maths English) A sequential calculus
WordNet
adj. in regular succession without gaps; "serial concerts" [syn: consecutive, sequential, serial, successive]
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" [syn: consequent, ensuant, resultant, resulting(a)]
Wikipedia
In mathematical logic, a sequent is a very general kind of conditional assertion.
A, …, A ⊢ B, …, B.A sequent may have any number m of condition formulas A (called " antecedents") and any number n of asserted formulas B (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.
A sequent is a formalized statement of provability that is used within sequent calculus as the primary focus of a body of proof theory for mathematical logic.
Sequent may also refer to:
- Sequent (MUD), text-based online game software
- Sequent Computer Systems, a defunct computer hardware company
Usage examples of "sequent".
All, then, is antecedent and resultant, each sequent becoming in turn an antecedent once it has taken its place among things.
Anything incomplete must be sequent upon these, and take its completion from the principles engendering it which, like fathers, labour in the improvement of an offspring born imperfect: the produced is a Matter to the producing principle and is worked over by it into a shapely perfection.
Ten, eleven, tweif I see In sequent varietie Of puissaunce and maistrye With swerd, sinwes, and grammarie.
But since we hold the eternal existence of the Universe, the utter absence of a beginning to it, we are forced, in sound and sequent reasoning, to explain the providence ruling in the Universe as a universal consonance with the divine Intelligence to which the Kosmos is subsequent not in time but in the fact of derivation, in the fact that the Divine Intelligence, preceding it in Kind, is its cause as being the Archetype and Model which it merely images, the primal by which, from all eternity, it has its existence and subsistence.
This is only a record of broken and apparently unrelated memories, some of them as distinct and sequent as brilliant beads upon a thread, others remote and strange, having the character of crimson dreams with interspaces blank and black - witch-fires glowing still and red in a great desolation.