I disagree. "lógica com efeitos secundários" is a type of logic. The article would change the meaning.