| 词汇 | sequent |
| 释义 | sequent adjective formaluk /ˈsiː.kwənt/ us /ˈsiː.kwənt/ following in a series, or as a result of something后来的，继起的;顺序的，依次的;随之而来的 Order and sequence - general words alphabetize around back end be a chapter of accidentsidiom catalogue chapter cycle front end in chronological order inconsecutive inline linear linearity parade penultimate penultimately precedence priority procession string Examples of sequentsequent That is, all the expressions we obtain from a given sequent have the same associated partial order. It is a set of vectors of pairs, each pair consisting of a sequent and (possibly) a reducibility candidate. However, in this case there is only one sort of sequent and, consequently, it is possible to have nested contexts. A sequent is a pair (, a) consisting of an environment and a pseudoterm. The operational semantics of this class of languages is given via a sequent-calculi presentation of the corresponding fragment of linear logic. We associate with every sequent a quintuple of natural numbers. The correspondence between sequent calculus derivations and natural deduction derivations is, however, not a one-one map, which causes some syntactic technicalities. Such a sequent is not an axiom unless a formula in that matches the facts in exists. In the present paper we define a sequent calculus associated to a linear functor in such a way that any linear functor provides a model. In this section we present two formulations of linear logic: a one-sided sequent calculus and a two-sided sequent calculus. All the work cited above uses the formalism of linear sequent calculus. The sequent can be seen as part of the verification condition which is generated during type-checking. Suppose now that in the sequent we have that and denote sets of occurrences of formulas. In the meantime, sequent calculi provide a powerful organization of the knowledge specified through the formulae of the logic language taken into consideration. The denotational interpretation of a sequent calculus proof is, as usual, defined by induction. 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. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。