><code>Bastet.Interface.JOIN_SEMILATTICE</code></a>s are used to describe <a href="http://groups.csail.mit.edu/genesis/papers/radul%202009.pdf">propagator</a> networks, and <a href="Bastet/Interface/module-type-HEYTING_ALGEBRA/index.html"><code>Bastet.Interface.HEYTING_ALGEBRA</code></a>s are useful for describing fuzzy logics which don't satisfy the law of excluded middle.</p><h4 id="further-reading"><a href="#further-reading" class="anchor"></a>Further Reading</h4><p>You might be wondering if there's more