nLab
structural rule

Structural rules

Idea

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.

Examples

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