Logica parcial trivalorada. aproximaciones de primer orden, de orden superior e intuicionista
Tesis doctoral de Francisca Lucio Carrasco Se extiende la logica de primer orden clasica, de forma conservadora, a una logica […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Modelos de induccion acotada.
Tesis doctoral de Joaquin Borrego Diaz Entre los nuevos resultados que se obtienen en este trabajo caben destacar: – relaciones
Fundamentos logico-conceptuales para una teoria general de la racionalidad: razonamiento teorico y practico
Tesis doctoral de Perez Miranda Luis Angel En el primer capitulo mostramos que la critica al enfoque logico clasico, en
Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento
Tesis doctoral de Angelica De Antonio Jimenez El trabajo presentado se puede considerar un avance en la validacion de sistemas
Conjuntos intuicionistas e intervalo-valorados difusos: propiedades y construccion. relaciones intuicionistas y estructuras
Tesis doctoral de Bustince Sola Nicanor Humberto La memoria estudia sistematicamente los conjuntos intuicionistas difusos. Analiza las estructuras algebraicas de
Logica para la inteligencia artificial: conocimiento creencia e intencion.
Tesis doctoral de Agustin Arrieta Urtizberea En este trabajo hemos desarrollado dos temas que resultan relevantes en el mundo de
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
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
Ingenieria del aprendizaje: hacia una teoria formal y fundamental del aprendizaje
Tesis doctoral de Casares Gallego Ramon M. El proposito de la tesis es definir el termino aprendizaje con la precision