Interpolation and the Robinson property for logics not closed under the Boolean operations (Q1074573)

A variant of the Robinson property \((ROB^*)\) is introduced. The property \(ROB^*\) is equivalent to the usual Robinson property and hence is equivalent also to the interpolation property, in any compact logic which is closed under the Boolean operations. On the other hand, it is shown that in general, \(ROB^*\) is stronger than the usual interpolation property, and is weaker than its strong form, when a logic is not closed under the Boolean operations. Next, \(ROB^*\) and various forms of interpolation properties in equational logics are studied. Of course, equational logics are compact, but are not closed under the Boolean operations. It is shown that an equational logic has \(ROB^*\) if and only if it has the amalgamation property for isomorphic embeddings.