Buscar
Mostrando ítems 1-2 de 2
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 ...
Una contribución sobre la variedad de las álgebras cilíndricas de dimensión dos libres de elementos diagonales
(2004)
Con el objeto de iniciarme en la tarea de realizar investiación en Matemáticas y Lógica Matemática, Aldo V. Figallo, mi pa-dre y director de este trabajo, me sugirió comenzar con el análisis de un sistema proposicional ...