Decidability, Interpolation, Amalgamation - A Case Study from Algebra through Logic to Computer Science
Sándor Jenei · 2024
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].