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.

Revised on September 28, 2012 05:41:15
by Mike Shulman
(192.16.204.218)