1.Previous
3.Next

of the structural rules are classified as substructural logics.

Common structural rules

Three common structural rules are:

* ', where the hypotheses or conclusion of a sequence may be extended with additional members. In symbolic form weakening rules can be written as on the left of the turnstile, and on the right. Known as monotonicity of entailment in classical logic.

1.Previous
3.Next