<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Substructural logic - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=substructural_logic&amp;p=2">3.Next</a>
</p>
<p>In <a href="page.php?w=logic">logic</a>, a <b>substructural logic</b> is a logic lacking one of the usual <a href="page.php?w=structural_rule">structural rule</a>s (e.g. of <a href="page.php?w=classical_logic">classical</a> and <a href="page.php?w=intuitionistic_logic">intuitionistic logic</a>), such as <a href="page.php?w=monotonicity_of_entailment">weakening</a>, <a href="page.php?w=idempotency_of_entailment">contraction</a>, exchange or associativity.  Two of the more significant substructural logics are <a href="page.php?w=relevant_logic">relevance logic</a></p><p>
<a accesskey="3" href="page.php?w=substructural_logic&amp;p=2">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
