Abstract: Introduces a new binary operation "+" in several BCY-algebras and develops those obtained strengthened systems. The word problems for these new systems were studied and a positive solution to their word problems was given by corresponding systems with Gentzen's form.