José Manuel
Méndez Rodríguez
Thèse de doctorat
Thèses dirigées (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
Thèses encadrées (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
Jurys de thèses (2)
-
Rapporteur du jury
Identidad numérica 1993Universidad de Salamanca
-
Rapporteur du jury
Estudio del lema de interpolación en el contexto de diversos lenguajes formales 1991Universidad Autónoma de Madrid
Corredor Lanas, Cristina