Some Lists of finite Structures
computed with GAP or SAGE by
Peter Jipsen
Residuated Lattices with 6 or less elements
BCK algebras
Commutative Integral Residuated Lattices with 6 elements
Some Posets and Lattices (and a Java Applet to view them)
All 59 connected posets of size 1 to 5
All 77 lattices of size 2 to 7
All 92 subdirectly irreducible lattices of size 2 to 8
All 67 modular lattices of size up to 8
All 110 vertically indecomposable modular lattices of size up to 11
All 64 subdirectly irreducible modular lattices of size up to 13
All 82 vertically indecomposable distributive lattices of size up to 14
Commutative Nil Semigroups
Relation Algebras
Sequential Algebras
A directory with text files of finite structures