Get to know Sequent better with 10+ real example sentences, the meaning and synonyms like consecutive or resulting.
Sequent meaning
- That comes after in time or order; subsequent.
- That follows on as a result, conclusion etc.; consequent to, on, upon.
- Recurring in succession or as a series; successive, consecutive.
Synonyms of Sequent
Using Sequent
- The main meaning on this page is: That comes after in time or order; subsequent. | That follows on as a result, conclusion etc.; consequent to, on, upon. | Recurring in succession or as a series; successive, consecutive.
- Useful related words include: consecutive, resulting, resultant, ensuant.
- In the example corpus, sequent often appears in combinations such as: sequent calculus, the sequent, cut-free sequent.
Context around Sequent
- Average sentence length in these examples: 22.1 words
- Position in the sentence: 3 start, 6 middle, 4 end
- Sentence types: 13 statements, 0 questions, 0 exclamations
Corpus analysis for Sequent
- In this selection, "sequent" usually appears in the middle of the sentence. The average example has 22.1 words, and this corpus slice is mostly made up of statements.
- Around the word, free, calculus, calculi and balance stand out and add context to how "sequent" is used.
- Recognizable usage signals include in the sequent calculus and before in sequent calculus derivations. That gives this page its own corpus information beyond isolated example sentences.
- By corpus frequency, "sequent" sits close to words such as aaon, abbv and abdalla, which helps place it inside the broader word index.
Example types with sequent
The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:
Thus, one can use the same proof objects as before in sequent calculus derivations. (14 words)
Sequent calculus further The sequent calculus was developed to study the properties of natural deduction systems. (16 words)
As another possibility, completeness proofs based on cut-free sequent calculi usually produce finite models directly. (16 words)
In a series of seminars in 1961 and 1962 Prawitz gave a comprehensive summary of natural deduction calculi, and transported much of Gentzen's work with sequent calculi into the natural deduction framework. (33 words)
The sequent calculus produces proofs in what is known as the β-normal η-long form, which corresponds to a canonical representation of the normal form of the natural deduction proof. (31 words)
However, we know that the sequent calculus is complete with respect to natural deduction, so it is enough to show this unprovability in the sequent calculus. (26 words)
Example sentences (13)
However, we know that the sequent calculus is complete with respect to natural deduction, so it is enough to show this unprovability in the sequent calculus.
Sequent calculus further The sequent calculus was developed to study the properties of natural deduction systems.
I mean, it's hard to say that -- I don't think your statement that's sequent -- and it is factually correct that sequentially.
A single crown sits on the right, complete with Sequent’s logo stamped on it, and operates only as a button to prompt the Bluetooth connection.
As another possibility, completeness proofs based on cut-free sequent calculi usually produce finite models directly.
By 1987 the list included the Encore Multimax and Sequent Balance machines, testing Mach's ability to run on multiprocessor systems.
In a series of seminars in 1961 and 1962 Prawitz gave a comprehensive summary of natural deduction calculi, and transported much of Gentzen's work with sequent calculi into the natural deduction framework.
It is much easier to show this indirectly by means of a cut-free sequent calculus presentation.
Proof theorists often prefer to work on cut-free sequent calculus formulations because of such properties.
Since Gentzen's work, natural deduction and sequent calculi have been widely applied in the fields of proof theory, mathematical logic and computer science.
The sequent calculus produces proofs in what is known as the β-normal η-long form, which corresponds to a canonical representation of the normal form of the natural deduction proof.
The substitution theorem of natural deduction takes the form of a structural rule or structural theorem known as cut in the sequent calculus.
Thus, one can use the same proof objects as before in sequent calculus derivations.
Common combinations with sequent
These word pairs occur most frequently in English texts:
- sequent calculus 9×
- the sequent 5×
- cut-free sequent 3×
- sequent calculi 3×
- with sequent 2×
- and sequent 2×