Simon Santschi (University of Bern) will give a talk on
Amalgamation in varieties of residuated lattices
Abstract:
In this talk I will present some recent results concerning the amalgamation property (AP) in varieties of residuated lattices. Varieties of (pointed) residuated lattices provide algebraic semantics for substructural logics. A variety of residuated lattices having the AP amounts to its corresponding substructural logic enjoying certain interpolation properties. This provides another motivation to investigate the AP for varieties of residuated lattices in addition to the purely algebraic one.