structural rule

The *structural rules* of a logic or deductive system are those rules which make no reference to logical operators but only to the unstructured premises of a deduction.

- the weakening rule,
- the contraction rule,
- the exchange rule,
- the identity rule?,
- the cut rule.

- substructural logic is logic in which one or more structural rules are omitted.

Last revised on September 28, 2012 at 05:41:15. See the history of this page for a list of all contributions to it.