Residuated Lattices: An algebraic glimpse at substructural logics, in preparation (0)

by J Jipsen, T Kowalski, H Ono