Esta tesis tiene como objeto el estudio de dos temas principales: en primer lugar nos abocamos al estudio de una clase de cálculos de Gentzen, los hipersecuentes; y en segundo lugar, abordamos el estudio de ciertas lógicas ...