Residuated Lattices
Not implemented yet.
In the meantime here is a PDF of all residuated lattices with up to 6 elements:
RLlist.pdf