Sentence examples for corresponding introduction from inspiring English sources

If an asynchronous formula occurs on the right of a sequent, it can evolve without affecting provability and without interacting with its context, i.e., the corresponding introduction rule is invertible.

The potential consequences of changes in measuring and recording techniques have been somewhat discussed in the literature with respect to a possible corresponding introduction of artificial inhomogeneities in time series.

From the representative images reported in Fig. 3 (that refer to the samples as-deposited (a), annealed 873 K–60 min (b) and 1073 K 60 min (c), respectively) it is clear that the evolution in size of the supported NCs on SiO2 corresponds to an evolution of the equilibrium shape with a progressive loss of symmetry and a corresponding introduction of internal defects.

In the case of a male-only introduction of EU insects, the introduction thresholds are generally higher than those for the corresponding introduction of both males and females (Fig. 5).

Searches were limited by year (1990-2010) corresponding with introduction the concept of excessive gestational weight gain by the IoM (1990).

On the other hand, if we view a synchronous formula as an agent whose evolution is determined by the corresponding right-introduction rule, then it is possible for a provable sequent to evolve to a non-provable sequent (for example, by applying the ⊕ right-introduction rule).

On average, scores for the segment of the course corresponding to the introduction of the online videos increased by 2%.

This definition again only applies to closed proofs, corresponding to the introduction form property of closed normal derivations in natural deduction (see section 1.3).

The model defines proportional changes in equilibrium prices and quantities for each evaluated market level and species in response to exogenous changes corresponding to vaccination introduction.

Thus, if f : A ⊃ B and a : A, then functional application gives f(a) : B. The reverse, corresponding to the introduction of an implication, is captured by the principle of functional abstraction of Alonzo Church's λ-calculus.

E.g., where 'a' is any object term and 'P' is any 1-place relation term,     ∀xPx → Pa ∀FFa∀FFa → Pa (The corresponding principle, Existential Introduction, for the existential quantifier, i.e., φ → ∃αφ, is derivable).