Contribucion al estudio de la logica y de los condicionales borrosos.
Tesis doctoral de Susana Cubillo Villanueva La tesis constituye una nueva vision y un conjunto de nuevas aportaciones sobre algunos […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Logiques modals tetravalents.
Tesis doctoral de Miquel Rius Font El objetivo de la memoria es definir y estudiar una clase de logicas abstractas
Representacion y gestion del conocimiento con cuantificacion intermedia.
Tesis doctoral de Amelia Bilbao Terol Esta tesis se basa en una linea de evolucion de la logica clasica hacia
Ecgi: un algoritmo de inferencia gramatical mediante correccion de errores
Tesis doctoral de Hector Rulot Segovia En este trabajo se introduce un nuevo metodo de inferencia gramatical, el algoritmo ecgi
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
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
«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,
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