Generalizacion modelista de las teorias infinitarias de ordenes: ordenes parciales
Tesis doctoral de Begoña Carrascal Platas En este trabajo se caracterizan diferentes subclases de ordenes parciales mediante enunciados de lenguajes […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Forma logica en semantica del razonamiento acerca de conocimiento y semantica de situaciones
Tesis doctoral de Migura Zanguitu V. Fernando La tesis se articula en dos partes: la primera se centra en el
Contribuciones topologicas y algebraicas a los metodos formales en programacion declarativa.
Tesis doctoral de Andres Bujosa Brun Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topologicas y contribuciones
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
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,