On amalgamation in algebras of logic (Q817679)

The main theorem is that not all epimorphisms are surjective in \(K\) and \(K\) fails to have the strong amalgamation property if \(K\) is one of these classes of algebras: \(\omega\)-dimensional cylindric algebras, \(\omega\)-dimensional substitution algebras, \(\omega\)-dimensional quasipolyadic algebras, and \(\omega\)-dimensional quasipolyadic algebras with equality.