Tesis doctoral

  1. Sistemas formales afines a la semántica de situaciones 1989

    Universidad Autónoma de Madrid

Tribunales de tesis (5)

  1. Vocal del tribunal

    Una expansión implicativa de la matriz tetravaluada de belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo łukasiewicz 2018

    Universidad de Salamanca

    Blanco Sánchez, José Miguel

  2. Vocal del tribunal

    Santiago calatrava: principios creadores y compilación de su obra (1975-1995) 2008

    Universitat de Barcelona

    ESTEVEZ ESCALERA, ALBERTO

  3. Secretario del tribunal

    Abraham Robinson y el análisis no estándar: ¿una vuelta a Leibniz? 1996

    Universidad de Valladolid

    JOVEN ALVAREZ FERNANDO JAVIER

  4. Vocal del tribunal

    Contenido, verdad y consecuencia lógica 1992

    Universidad Autónoma de Madrid

    Alonso, Enrique

  5. Secretario del tribunal

    Estudio del lema de interpolación en el contexto de diversos lenguajes formales 1991

    Universidad Autónoma de Madrid

    Corredor Lanas, Cristina