Residuated lattices of size \(\leq 12\) (Q981681)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Residuated lattices of size \(\leq 12\) |
scientific article |
Statements
Residuated lattices of size \(\leq 12\) (English)
0 references
2 July 2010
0 references
In the paper the numbers of all non-isomorphic residuated lattices with up to 12 elements are computed. In addition, various characteristics of these lattices, such as width, length, and other properties considered in the literature, are explored. Also, algorithms for computing finite residuated lattices, including a fast heuristic test of non-isomorphism, are presented.
0 references
finite residuated lattice
0 references
finite lattice
0 references
algorithm
0 references
