Interpolation and Amalgamation
Logic
2025-12-02 v1
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.
Cite
@article{arxiv.2512.00924,
title = {Interpolation and Amalgamation},
author = {George Metcalfe},
journal= {arXiv preprint arXiv:2512.00924},
year = {2025}
}