José Manuel
Méndez Rodríguez
Doktorego-tesia
Zuzendutako tesiak (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
Zuzendutako tesiak (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
Tesi epaimahaiak (2)
-
Epaimahaikidea
Identidad numérica 1993Universidad de Salamanca
-
Epaimahaikidea
Estudio del lema de interpolación en el contexto de diversos lenguajes formales 1991Universidad Autónoma de Madrid
Corredor Lanas, Cristina