On a new sum of equality algebras

This paper explores the construction of ordinal sums in the class of equality algebras. Although the ordinal sum of linear equality algebras remains linear, this property might not hold for representable equality algebras in general. We present (prime) deductive systems for the ordinal sum of each family of equality algebras, which help us find a necessary and sufficient condition under which an ordinal sum of equality algebras is representable.