José Manuel
Méndez Rodríguez
Tesi doctoral
Tesis dirigides (3)
-
Estudio sobre las variantes de la matriz tetravaluada de Brady que verifican la lógica básica de Routley y Meyer 2021
Universidad de Salamanca
-
Negaciones subintuicionistas para lógicas con la conversa de la propiedad Ackermann 2006
Universidad de Salamanca
-
Formalización de sistemas. El enfoque sistémico y el uso de modelos en ciencia y tecnología 1991
Universidad de Salamanca
VAZQUEZ CAMPOS, MARGARITA
Tesis tutoritzades (2)
-
Ontología y realidad en Putnam: del esencialismo científico al plural 2020
Universidad de Salamanca
Bertoldo, Haroldo Luiz
-
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
Tribunals de tesi (2)
-
Vocal del tribunal
Identidad numérica 1993Universidad de Salamanca
-
Vocal del tribunal
Estudio del lema de interpolación en el contexto de diversos lenguajes formales 1991Universidad Autónoma de Madrid
Corredor Lanas, Cristina