Sentence examples for corresponding elimination from inspiring English sources

The opposite rules (left-introductions and right-introductions, respectively) are then justified using the corresponding elimination rules.

These procedures enable one to remove from a proof any sentence occurrence that stands both as the conclusion of an application of an introduction rule and as the major premise of an application of the corresponding elimination rule.

By this time, he had noticed that if an introduction, say a derivation of A & B from A and B separately, is followed by the corresponding elimination, say a derivation of A, the formula A & B constitutes a local maximum, a "hillock", that can be eliminated.

Following training, patients reported a significant reduction in intensity and unpleasantness of constant pain and exacerbations, with a corresponding elimination of cortical reorganization.

Toluene biodegradation was very efficient (removal efficiency, RE = 100%) for toluene flows ranging from 0.2 to 1.2 ml·h− 1, corresponding to elimination capacities of up to 104 g·m− 3·h− 1.

Diagnostic fragments corresponding to elimination of fucose from the 3-position of GlcNAc indicate that Lewisx is the predominant singly fucosylated terminal structure, although some Lewisa termini may also be present.

Thermogravimetric analysis also showed a weight decrease corresponding to the elimination of nitrogen at that temperature.

We observe that, for small to medium SNR values, POSD 2,3 which does not require the Gauss elimination (corresponding to approximately 3,000 BOPS) outperforms OSD(2 by 1 dB whereas, for large SNR values, these two decoding schemes achieve approximately the same BER performance.

The ion 2d was attributed to the neutral loss of a CO2 moiety from ion 2c, and the ions 2e and 2f were corresponding to the elimination of one CH2O or CO2 parts from 2d.

They reported that these formulations changed during the late 1970s, possibly corresponding to the elimination of PCBs mandated by the U.S. EPA in 1977 (Weymouth G, personal communication).

The spectrum in Figure 2(b) is dominated by ions corresponding to the elimination of HPO3 and the water molecule, whereas the abundances of the backbone fragments are relatively low, with many unidentified fragments observed.