Logicas finitamente deductivas: restricciones de cardinalidad en la propiedad de la deduccion.
Tesis doctoral de Garcia Lapresta José Luis Se han estudiado logicas abstractas que cumplen el teorema de deduccion con restricciones […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
El teorema de lowenheim en el marco de la teoria de relativos
Tesis doctoral de Calixto Badesa Cortes El proposito de esta tesis es analizar en detalle la prueba que hizo lowenheim
La concepcion aristotelica de la induccion
Tesis doctoral de Mercado Montes Juan Andres El trabajo expone y asocia los textos aristotelicos en que se menciona la
Verificacion de bases de conocimiento.
Tesis doctoral de Betty Ramirez Nieves Se utiliza la teoria de categorias en su version de determinadas categorias preorden para
Caracterizacion no monotona de la inferencia inductiva y su aplicacion al aprendizaje basado en similitudes (sbl)
Tesis doctoral de Gustavo Nuñez Esquer Datos académicos de la tesis doctoral «Caracterizacion no monotona de la inferencia inductiva
Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
Tesis doctoral de Cristina Corredor Lanas La tesis consiste en una presentacion sistematizada del lema de interpolacion, analizando los rasgos
La vaguedad: hacia un estudio critico de algunos aspectos formales y de gestion.
Tesis doctoral de Alejandro Sobrino Cerdeiriña Datos académicos de la tesis doctoral «La vaguedad: hacia un estudio critico de
Genesis y desarrollo de los numeros reales en la obra de cantor en el siglo xix.
Tesis doctoral de Enrique Droeven Demanet Datos académicos de la tesis doctoral «Genesis y desarrollo de los numeros reales
Contribucion a una formalizacion de la inferencia directa
Tesis doctoral de Jaime Casasnovas Casasnovas Datos académicos de la tesis doctoral «Contribucion a una formalizacion de la inferencia
Criterios de pertenencia basados en relaciones de alcance definidas en reticulos completamente distributivos.
Tesis doctoral de Angel Nuñez Gomez Datos académicos de la tesis doctoral «Criterios de pertenencia basados en relaciones de