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