Cálculo de Secuentes

Un marco deductivo formal en el que los secuentes son las unidades sintácticas primarias y las pruebas se construyen aplicando reglas de inferencia estructurales y lógicas a los secuentes, frecuentemente incluyendo una regla de corte y a veces reglas estructurales como debilitamiento, contracción y permutación.