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

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