Describir: Operadores de conseqüência cumulativos e traduções entre lógicas cumulativas