Thesis

  1. De la teoría del significado en Prawitz a la búsqueda inteligente de pruebasuna aplicación del teorema de inversión a la inteligencia artificial 1989

    Universitat de València

Supervised Theses (3)

  1. Objectivity with Objects. A Modal Explanation of the Infinite 2024

    Universidade de Santiago de Compostela

    Ordóñez Miguéns, Ismael

  2. Mathematical Explanation and Ontology: an Analysis of Applied Mathematics and Mathematical Proofs 2020

    Universidade de Santiago de Compostela

    Rivas de Castro, Navia

  3. Justificacion a priori y conocimiento básico: el caso de la lógica 2016

    Universidade de Santiago de Compostela

    GARCIA ARNALDOS, MARIA DOLORES

Theses Committees (15)

  1. Secretary of the Committee

    Rule and Improvisation: an Ontology of Music 2023

    Universidade de Santiago de Compostela

    Pablo Seoane Rodríguez

  2. Secretary of the Committee

    Intencionalidad y contenido mental: aproximación desde una semiótica naturalista 2023

    Universidad de Salamanca

    Elberto Plazas Paéz

  3. Committee Member

    Algunos aspectos de las filosofías de la lógica y del lenguaje de Frege y del joven Wittgenstein, y su influencia en la filosofía contemporánea 2023

    Universidad de Granada

    Wischin, Kurt

  4. Committee Member

    El problema de la intuición en la filosofía de la matemática de Philip Kitcher y su relación con el problema de la visualización en la práctica matemática 2022

    Universitat de València

    Peña Páez, Lina María

  5. Secretary of the Committee

    Error, apariencia ilusoria y juicio: la doctrina de la imposibilidad del error total como pauta de lectura de la lógica trascendental de Kant 2021

    Universidade de Santiago de Compostela

    Laos Igreda, Claudia María

  6. Secretary of the Committee

    Substructural logics and pragmatic enrichment 2020

    Universitat de Barcelona

    Terrés Villalonga, Pilar

  7. Committee Member

    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 2016

    Universidad de Sevilla

    Sarrión Morillo, Enrique

  8. Committee Member

    Comprensiones categoriales y subrecursión 2012

    Universitat de València

    Díaz Boïls, Joaquín

  9. Committee Member

    Representación del conocimiento jurídico en programación lógica y su aplicación a la toma de decisión en el derecho penal 2007

    Universitat de València

    Sanchez Soria, Angel Rafael

  10. Committee Member

    Modelos formales de explicación en lógica e inteligencia artificial 2005

    Universidad de Sevilla

    Soler Toscano, Fernando

  11. Committee Member

    Realismo constructivo. Hacia una concepción popperiana de la matemática 2005

    Universitat de València

    SANTONJA GÓMEZ, FRANCISCO JOSÉ

  12. Committee Member

    Algunos problemas ontosemánticos en la Filosofía de Bertrand Russell entre 1896 y 1919 2000

    Universitat de València

    Saurí Mercader, Francisco Manuel

  13. Committee Member

    Medidas computacionales de ganancia de información y refuerzo en procesos de inferencia 1999

    Universitat de València

    Hernández Orallo, José

  14. Committee Member

    Similaridad intermundana y lógica multicondicional 1996

    Universidade de Santiago de Compostela

    Vilanova Arias, Javier

  15. Committee Member

    Agentes locales y autónomos en inteligencia artificial distribuida: coordinación 1996

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Alonso Fernández, Eduardo