Small Residuated Lattices of order 4.1.5
list:=[ [# 1 [ 1, 2, 3, 4 ], [ 2, 2, 4, 4 ], [ 3, 4, 3, 4 ], [ 4, 4, 4, 4 ] ] ];
Computed by
Peter Jipsen
using
GAP
4.1 (this list can be copied and read into GAP)