Sentence examples for applications of rule from inspiring English sources

Indeed, every sequence of contractions (applications of rule 2, combined as necessary with alphabetic changes of bound variables) of a wff is finite; obviously, if such a sequence cannot be extended, it terminates with a wff in β-normal form.

Induction over (erightarrow ^e') using Theorems 1 and 2. The type system presented in Fig. 8 has the drawback of allowing applications of rule T-Sub at any place in the type derivation for some expression (e).

Moral judgments, nevertheless, are applications of rules, and do not require the presence of on-line affect.

In many knowledge representation formalisms, a constructive semantics is defined based on sequential applications of rules or of a semantic operator.

(3) follows from (2), by application of rule Alpha.

It is only the character of the impugned decision, and not that of its consequences, that determines the application of Rule 73(B).

Note: the application of rule (i) introduces randomness in the algorithm and, as a consequence, different runs may result in different outcomes.

So, the Commission's decisions concerning tax rulings are only the most recent application of rules that have been in place for a long time.

It's the cold, rigid, mechanical application of rules.

He accuses the EU of the "Talmudic application of rules designed 50 years ago".

Some situations call for a strict application of rules, others do not.