Buscar
Mostrando ítems 1-1 de 1
Hipersecuentes y la lógica tetravalente modal T M L
(2012)
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 ...