Commutative Integral Residuated Lattices


Computed by Peter Jipsen using GAP 3.4 (these lists can be copied and read into GAP)