El cálculo mediante el estilo de Gentzen puede ser modificado eliminando las reglas de debilitamiento que permiten la introducción de fórmulas arbitrarias en el lado derecho o izquierdo de las secuencias "sequents".