Decidability, Interpolation, Amalgamation - A Case Study from Algebra through Logic to Computer Science

In this presentation, we will discuss the relationship between the interpolation (logical) property and (algorithmic) decidability, the connection between interpolation and (algebraic) amalgamation, and demonstrate the presence or absence of the amalgamation property in some algebraic structures that are significant in the field of substructural logics. For details, see [1]-[3].