Buscar
Mostrando ítems 1-2 de 2
Tesis Doctoral
Una extensión de métodos algebraicos a la teoría de modelos
(1983-07-02)
La idea central de este trabajo consiste en la introducción del concepto de cociente en la teoría de modelos. La construcción del cociente en algebra no es directamente generalizables pues hace uso de elementos notables ...
Tesis Doctoral
N-categorías un modelo categorial de la lógica
(1984)
En el Capítulo I introducimos el primero de los conceptos básicos que presentamos: Las N-categorías.El Capítulo II está dedicado a profundizar en la ... En el Capítulo III se desarrolla la interpretación N-categorial del ...