Doctor by the Universidad de Salamanca with the thesis Estudio sobre las variantes de la matriz tetravaluada de Brady que verifican la lógica básica de Routley y Meyer 2021. Supervised by Dr. José Manuel Méndez Rodríguez.