Lattice Properties (Q7361523)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry LatticeProperties
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Lattice Properties |
AFP entry LatticeProperties |
Statements
22 September 2011
0 references
Viorel Preoteasa
0 references
Lattice Properties (English)
0 references
This formalization introduces and collects some algebraic structures based on lattices and complete lattices for use in other developments. The structures introduced are modular, and lattice ordered groups. In addition to the results proved for the new lattices, this formalization also introduces theorems about latices and complete lattices in general.
0 references
