| 单词 | sequent |
| 释义 | sequent adjective formaluk/ˈsiː.kwənt/us/ˈsiː.kwənt/followingin aseries, or as aresultof something 后来的，继起的；顺序的，依次的；随之而来的Order and sequence - general words
Examplesofsequentsequent That is, all the expressions we obtain from a givensequenthave the same associated partial order. From theCambridge English Corpus It is a set of vectors of pairs, each pair consisting of asequentand (possibly) a reducibility candidate. From theCambridge English Corpus However, in this case there is only one sort ofsequentand, consequently, it is possible to have nested contexts. From theCambridge English Corpus Asequentis a pair (, a) consisting of an environment and a pseudoterm. From theCambridge English Corpus The operational semantics of this class of languages is given via asequent-calculi presentation of the corresponding fragment of linear logic. From theCambridge English Corpus We associate with everysequenta quintuple of natural numbers. From theCambridge English Corpus The correspondence betweensequentcalculus derivations and natural deduction derivations is, however, not a one-one map, which causes some syntactic technicalities. From theCambridge English Corpus Such asequentis not an axiom unless a formula in that matches the facts in exists. From theCambridge English Corpus In the present paper we define asequentcalculus associated to a linear functor in such a way that any linear functor provides a model. From theCambridge English Corpus In this section we present two formulations of linear logic: a one-sidedsequentcalculus and a two-sidedsequentcalculus. From theCambridge English Corpus All the work cited above uses the formalism of linearsequentcalculus. From theCambridge English Corpus Thesequentcan be seen as part of the verification condition which is generated during type-checking. From theCambridge English Corpus Suppose now that in thesequentwe have that and denote sets of occurrences of formulas. From theCambridge English Corpus In the meantime,sequentcalculi provide a powerful organization of the knowledge specified through the formulae of the logic language taken into consideration. From theCambridge English Corpus The denotational interpretation of asequentcalculus proof is, as usual, defined by induction. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。