Residuated lattices do not have the amalgamation property

Peter Jipsen, Simon Santschi

We show that the variety of residuated lattices does not have the amalgamation property, thereby settling a long-standing open problem. In addition, we show that the amalgamation p…