The one-leg system was accepted up to quarterfinals, after which the two-leg elimination rule applied.

These quantified propositions have the following introduction and elimination rules.

The elimination rules on the other hand turn into left rules in the sequent calculus.

The left rule, however, performs some additional substitutions that are not performed in the corresponding elimination rules.

Due to the double elimination rules, he was allowed to continue after a brief break.

The main event was a five team steel cage match contested under elimination rules.

(6.12) it turns out that we only need one law to deal with channel declarations: an elimination rule analogous to (6.3).

It follows immediately from modus ponens which is the elimination rule for implication.

Also, the 14-man tag team match was under elimination rules in 2010.

The VIP is always killed with a single shot, and the others usually follow 3-15 elimination rules.