next up previous contents
Next: Example Up: Weakening Rule Previous: Weakening Rule   Contents

Rule

The weakening rule can be stated as follows:

$\displaystyle \frac{\alpha_1 \to \alpha, \beta \to \beta_1, \langle \alpha \ran... ...ngle \beta \rangle }{\langle \alpha_1 \rangle \; P \; \langle \beta_1 \rangle }$ (3.1)


David Goodwin 2008-09-20