Interpolation and Amalgamation

Abstract

This chapter presents a state-of-the-art survey of relationships, traditionally referred to as `bridges', between interpolation properties for propositional logics -- including superintuitionistic, modal, and substructural logics -- and amalgamation properties for corresponding classes of algebraic structures. These bridges are developed in the framework of universal algebra and illustrated with a broad range of examples from logic and algebra, demonstrating their use in establishing properties for both fields.