 href="../../../index.html">bastet</a> &#x00BB; <a href="../../index.html">Bastet</a> &#x00BB; <a href="../index.html">Result</a> &#x00BB; Many_Valued_Logic</nav><h1>Module <code>Result.Many_Valued_Logic</code></h1></header><aside><p>Many valued logics in general have to relax certain constraints in order to be heyting or boolean algebras, such as:</p><ul><li>The reflexivity conditions of equivalence and implication (may be quasi-reflexive)</li><li>The law of excluded middle</li></ul></aside><div class="spe