Interpolation and Amalgamation

George Metcalfe

This chapter presents a state-of-the-art survey of relationships, traditionally referred to as `bridges', between interpolation properties for propositional logics -- including sup…