Amalgamation property for the class of basic algebras and some of its natural subclasses
The authors study an algebraic structure associated with basic propositional calculus, called Basic Algebra, as well as some of its natural extensions. The authors prove the amalgamation property for the classes of Basic Algebras, faithful Basic Algebras and linear faithful Basic Algebras. Also remarkable is Theorem 3.21, where they show that a faithful theory has the interpolation property if and only if its correspondence class of (Heyting) algebras has the amalgamation property.
scientific article; zbMATH DE number 5118080