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 […]
Tesis doctoral sobre Logica
Accede a todas las tesis doctorales sobre Logica mas relevantes.
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
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
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
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
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
Sobre dos logicas categoricas: logica lineal y algebra con tipos ordenados
Tesis doctoral de Narciso Marti Oliet La logica lineal ha sido desarrollada recientemente por girard como una logica de acciones
Logica y racionalidad del descubrimiento (acerca del metodo de arquimedes)
Tesis doctoral de Hernandez Martin M. Carmen Datos académicos de la tesis doctoral «Logica y racionalidad del descubrimiento (acerca
«arboles semanticos para logica modal con algunos resultados sobre sistemas normales»
Tesis doctoral de Salguero Lamillar Francisco Jose En las ultimas decadas han proliferado los estudios semanticos referidos a logicas intensionales,
Optimizacion de automatas finitos
Tesis doctoral de Rodriguez Vela M. Camino Datos académicos de la tesis doctoral «Optimizacion de automatas finitos« Título de