Editing Substructural logic (section)

{{no footnotes|date=June 2016 }}

In [[logic]], a '''substructural logic''' is a logic lacking one of the usual [[structural rule]]s (e.g. of [[classical logic|classical]] and [[intuitionistic logic]]), such as [[monotonicity of entailment|weakening]], [[idempotency of entailment|contraction]], exchange or associativity.  Two of the more significant substructural logics are [[relevant logic|relevance logic]] and [[linear logic]].