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

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.