sequent
IPA: sˈikwʌnt
noun
- Something that follows in a given sequence.
- (logic) A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)
- (obsolete) A follower.
- (mathematics) A sequential calculus
adjective
- (obsolete) That comes after in time or order; subsequent.
- (now rare) That follows on as a result, conclusion etc.; consequent to, on, upon.
- Recurring in succession or as a series; successive, consecutive.
Advertisement
Examples of "sequent" in Sentences
- Sequent was acquired by IBM in 1999.
- He does not know the sequent of the story.
- Sequent jet pumps raise and preserve energy levels.
- If no premise is given, the sequent is called theorem.
- In the sequent calculus, the rule of cut is admissible.
- Intuitively, a sequent expresses the idea that implies.
- Hilbert's calculus, sequent calculus, tableau calculus.
- It was based on the Sequent derivative of the DikuMUD codebase.
- It works with variants of the sequent calculus and natural deduction.
- It is important to understand the recent sequent of events for this article.