Residuated lattices of size \(\leq 12\) (Q981681): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
| Property / describes a project that uses | |||
| Property / describes a project that uses: OEIS / rank | |||
Normal rank | |||
Revision as of 08:28, 29 February 2024
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
