sequentˈsi kwənt
sequent
English Definitions:
consecutive, sequent, sequential, serial, successive (adj)
in regular succession without gaps
"serial concerts"
attendant, consequent, accompanying, concomitant, incidental, ensuant, resultant, sequent (adj)
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 appeal"; "the resultant savings were considerable"
sequent (Noun)
Something which follows in a given sequence.
sequent (Noun)
An element of a sequence, usually a sequence in which every entry is an axiom or can be inferred from previous elements.
sequent (Adjective)
That comes after in time or order; subsequent.
sequent (Adjective)
That follows on as a result, conclusion etc.; consequent to, on, upon.
sequent (Adjective)
Recurring in succession or as a series; successive, consecutive.
Sequent
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
In mathematical logic, a sequent is a very general kind of conditional assertion. A 1 , … , A m ⊢ B 1 , … , B n . {\displaystyle A_{1},\,\dots ,A_{m}\,\vdash \,B_{1},\,\dots ,B_{n}.} A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (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.
Citation
Use the citation below to add this dictionary page to your bibliography:
Style:MLAChicagoAPA
"sequent." Kamus.net. STANDS4 LLC, 2024. Web. 2 May 2024. <https://www.kamus.net/english/sequent>.
Discuss this bahasa indonesia sequent translation with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In