<?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="Relevance logic - Page 4 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Relevance_logic&amp;p=3">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Relevance_logic&amp;p=5">3.Next</a>
</p>
<p>can be modified by removing the weakening rules that allow for the introduction of arbitrary formulae on the right or left side of the <a href="page.php?w=sequent">sequent</a>s.</p>

<p>A notable feature of relevance logics is that they are <a href="page.php?w=paraconsistent_logic">paraconsistent logic</a>s: the existence of a contradiction will not necessarily cause an "<a href="page.php?w=principle_of_explosion">explosion</a>." This follows from the fact that a conditional with a contradictory antecedent that does not share any propositional</p><p>
<a accesskey="1" href="page.php?w=Relevance_logic&amp;p=3">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Relevance_logic&amp;p=5">3.Next</a>
</p>

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

</card>
</wml>
