English language
Toggle Transcript
sequent::adjective | Spocien Dictionary
| Type | Words |
|---|---|
| Synonyms | accompanying, attendant, collateral, concomitant, consequent, ensuant, incidental, resultant |
the period of tension and consequent need for military preparedness.
sequent::adjective | Spocien Dictionary
| Type | Words |
|---|---|
| Synonyms | consecutive, sequential, serial, successive |
Examples of sequent
sequent
The general notion of sequent introduced here can be specialized in various ways.
From the en.wikipedia.org
Thus, one can use the same proof objects as before in sequent calculus derivations.
From the en.wikipedia.org
In the sequent calculus all inference rules have a purely bottom-up reading.
From the en.wikipedia.org
In proof theory, Gerhard Gentzen developed natural deduction and the sequent calculus.
From the en.wikipedia.org
The elimination rules on the other hand turn into left rules in the sequent calculus.
From the en.wikipedia.org
The duality between the two systems is best seen within a sequent calculus framework.
From the en.wikipedia.org
These derivations also emphasize the strictly formal structure of the sequent calculus.
From the en.wikipedia.org
The sequent calculus was developed to study the properties of natural deduction systems.
From the en.wikipedia.org
Exchange, where two members on the same side of a sequent may be swapped.
From the en.wikipedia.org
- Consecutive: in regular succession without gaps; "serial concerts"
- Attendant: 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 ...
- 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.
- Sequent was a DikuMUD based MUD running on a Sequent multiprocessor machine at sequent.berkeley.edu as early as May 1991. Sequent was created by Raja Kushalnagar ("Duke of Sequent") at the University of California, Berkeley and first released in 1991.
- Something which follows in a given sequence; An element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements; That comes after in time or order; subsequent; That follows on as a result, conclusion etc. ...
- God is the Cause of every created thing, so each thing is said to be sequent to God, i.e. follows from God.
