María Gracia
Manzano Arjona
Profesora Emérita Honorífica
Dissertation
-
Modelos generales de la logica de segundo orden 1978
Universitat de Barcelona
Dissertationen geleitet (6)
-
Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) hacia la lógica multivariada de primer orden (MSL) 2023
Universidad de Salamanca
-
The germanic development of the pre-modern notion of number. From c. 1750 to Bolzano’s "Rein analytischer Beweis" 2017
Universidad de Salamanca
Fuentes Guillén, Elías
-
Intensions, types and existence 2017
Universidad de Salamanca
Moreno Gómez, Manuel Crescencio
-
Capacidades de los sistemas lógicos formales: El caso de algunos sistemas lógicos clásicos y de lógica libre 2015
Universidad de Salamanca
Hernández Deciderio, Gabriela
-
Non classical systems for uncertain reasoning: non monotonic logics with non classical bases 2006
Universidad de Salamanca
Marchioni, Enrico
-
Modal logic (of predicates) and (partial and heterogeneous) non-classical logic 1994
Universitat de Barcelona
Huertas Sánchez, María Antonia
Dissertationen geleitet (2)
-
Intencionalidad y contenido mental: aproximación desde una semiótica naturalista 2023
Universidad de Salamanca
Elberto Plazas Paéz
-
Una historia y caracterización conceptual del concepto de metaargumento 2022
Universidad de Salamanca
Gerichte für Dissertationen (14)
-
Präsidentin des Gerichts
Nociones de completud en Husserl y Carnap 2020Universidad Autónoma de Madrid
-
Präsidentin des Gerichts
Logical systems: on the concept, expressive power and expressiveness characterizations 2017Universidad de Salamanca
Pinheiro Fernandes, Diego
-
Präsidentin des Gerichts
Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas 2016Universidad de Sevilla
Sarrión Morillo, Enrique
-
Vokal des Gerichts
Estudio, implementación y evaluación de un tutor inteligente para el aprendizaje de lógica computacional basado en modelos y apoyado en conocimiento 2011Universidad de Valladolid
Maestro Prieto, José A.
-
Vokal des Gerichts
Relación emergente en la obtención de conclusiones: validez - coherencia 2006Universitat Autònoma de Barcelona
Cruz Mavil, Miguel Ángel
-
Vokal des Gerichts
Modelos formales de explicación en lógica e inteligencia artificial 2005Universidad de Sevilla
Soler Toscano, Fernando
-
Sekretärin des Gerichts
Reflection in general logics and in rewriting logic with applications to the maude languaje 1998Universidad de Navarra
García Clavel, Manuel
-
Sekretärin des Gerichts
La imagen del conocimiento en el ámbito de los sistemas expertos y la inteligencia artificial 1993Universitat de Barcelona
Aibar Puentes, Eduard
-
Vokal des Gerichts
Estudio del lema de interpolación en el contexto de diversos lenguajes formales 1991Universidad Autónoma de Madrid
Corredor Lanas, Cristina
-
Vokal des Gerichts
Una lógica trivalorada para funciones recursivas parciales 1990Universidad Complutense de Madrid
Gavilanes Franco, Antonio Javier
-
Vokal des Gerichts
Una lógica no estándar admisible para programas funcionales 1990Universidad Complutense de Madrid
Gil Luezas, Ana
-
Vokal des Gerichts
Lógica de segundo orden: problemas metateoréticos 1990Universidad de Sevilla
Nepomuceno Fernández, Ángel
-
Vokal des Gerichts
De la teoría del significado en Prawitz a la búsqueda inteligente de pruebas: una aplicación del teorema de inversión a la inteligencia artificial 1989Universitat de València
Martínez Vidal, Concepción
-
Vokal des Gerichts
La lógica inductiva probabilitaria de R. Carnap y la lógica inductiva neoclásica de L.J. Cohen. Semejanzas y diferencias 1989Universitat de Barcelona
Aísa Moreu, Diego