Here is a list of articles in the category Lattice theory of the Computing portal that unifies foundations of mathematics and computations using computers.
This category has the following 3 subcategories, out of 3 total.
Pages in category "Lattice theory"
The following 44 pages are in this category, out of 44 total.
- Lattice (order) (computing)
- 0,1-simple lattice (computing)
- Birkhoff's representation theorem (computing)
- Esakia duality (computing)
- Geometric lattice (computing)
- Heyting algebra (computing)
- Join and meet (computing)
- Pseudocomplement (computing)
- Residuated lattice (computing)
- Union-closed sets conjecture (computing)