Residuated lattices: an algebraic glimpse at substructural logics, volume 151 (2007)

by N Galatos, P Jipsen, T Kowalski, H Ono
Venue:of Studies in Logic