nLab structural rule

Structural rules


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.


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