Buscar recursos académicos

En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de conectivo un...

Esta tesis está dividida en dos partes. La primera parte está dedicada al estudio de la variedad MMV de las MV-álgebras monádicas y de sus subreductos implicativos. En primer lugar, demostramos que MMV está generada...

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 proposici...

En esta tesis investigamos la clase de los qM3 retículos y la de los mM3−retículos o M3−retículos monádicos, que son M3−retículos dotados de un cuantificador existencial, en el primer caso, y en el segundo d...

En este trabajo estamos interesados en propiedades geométricas de espacios homogéneos de grupos unitarios. Estos espacios homogéneos, construidos a partir de elementos de la teoría de operadores, son variedades de di...

A mediados de la década de 1980, se inició una fructífera colaboración entre H. Porta y L. Recht, a quienes pronto se les sumó G. Corach, en la que atacaron una aproximación a la teoría de álgebras de operadores ...