on: <span class="searchmatch">Boolean</span> <span class="searchmatch">lattice</span> Wikipedia <span class="searchmatch">Boolean</span> <span class="searchmatch">lattice</span> (plural <span class="searchmatch">Boolean</span> <span class="searchmatch">lattices</span>) (algebra) The <span class="searchmatch">lattice</span> corresponding to a <span class="searchmatch">Boolean</span> algebra. A <span class="searchmatch">Boolean</span> <span class="searchmatch">lattice</span> always...
<span class="searchmatch">Boolean</span> <span class="searchmatch">lattices</span> plural of <span class="searchmatch">Boolean</span> <span class="searchmatch">lattice</span>...
distributive lattice Heyting algebra residuated <span class="searchmatch">lattice</span> MV-algebra complete <span class="searchmatch">Boolean</span> algebra free <span class="searchmatch">Boolean</span> algebra algebraic structure <span class="searchmatch">Boolean</span> <span class="searchmatch">lattice</span> <span class="searchmatch">Boolean</span> ring...
bilattice <span class="searchmatch">Boolean</span> <span class="searchmatch">lattice</span> bounded <span class="searchmatch">lattice</span> Bravais <span class="searchmatch">lattice</span> complete <span class="searchmatch">lattice</span> crystal <span class="searchmatch">lattice</span> distributive <span class="searchmatch">lattice</span> hyperlattice interlattice <span class="searchmatch">lattice</span> Boltzmann...
than the unit (assuming that the poset has a top element, its "unit"). In a <span class="searchmatch">Boolean</span> <span class="searchmatch">lattice</span>, the complement of an atom is a coatom. atom coatomistic...
bounded distributive <span class="searchmatch">lattice</span> with a dual endomorphism (where “dual” means that it satisfies De Morgan’s laws). distributive <span class="searchmatch">lattice</span> <span class="searchmatch">Boolean</span> algebra De Morgan...
lattice): pseudo-<span class="searchmatch">Boolean</span> algebra (bounded <span class="searchmatch">lattice</span>): distributive <span class="searchmatch">lattice</span>, residuated <span class="searchmatch">lattice</span>, bicartesian closed category (bounded <span class="searchmatch">lattice</span>): <span class="searchmatch">Boolean</span> algebra,...
and y, where " ∼ {\displaystyle \sim } " here denotes the De Morgan involution. De Morgan algebra Ockham algebra distributive <span class="searchmatch">lattice</span> <span class="searchmatch">Boolean</span> algebra...
is shown that the compact elements in the congruence <span class="searchmatch">lattice</span> of a De Morgan algebra form a <span class="searchmatch">Boolean</span> sublattice. 2000, Luo Congwen, Topological De Morgan...
joins unattainable state ^ <span class="searchmatch">Boolean</span> prime ideal theorem on Wikipedia.Wikipedia ^ Vaughan Pratt (2004) Chapter 1 : <span class="searchmatch">Lattice</span> Theory[1], boole.stanford.edu...