Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102)

The authors establish for substructural logics over the full Lambek calculus FL an algebraic foundation by pointed residuated lattices, with which a systematic investigation on the logics is developed from a global viewpoint. As one of such observations, it is shown that any substructural logic over FL enjoys a weak form of the deduction theorem, called parametrized local deduction theorem. The authors also examine interpolation properties, for there can be considered various types of interpolation properties under a substructural context, particularly. The analysis explains, among others, how they imply the amalgamation property for certain varieties of residuated lattices.