Author: gregprice Format: MarkdownItexAdded a bit more discussion based on https://nforum.ncatlab.org/discussion/2281/heyting-algebra/?Focus=101069#Comment_101069 .
<a href="https://ncatlab.org/nlab/revision/diff/Heyting+prealgebra/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/Heyting+prealgebra/7">v7</a>, <a href="https://ncatlab.org/nlab/show/Heyting+prealgebra">current</a>
Added a bit more discussion based on https://nforum.ncatlab.org/discussion/2281/heyting-algebra/?Focus=101069#Comment_101069 .