FRANCISCO MIGUEL
GARCÍA OLMEDO
PROFESOR TITULAR DE UNIVERSIDAD
ANTONIO JESÚS
RODRÍGUEZ SALAS
Investigador en el periodo 1991-2023
Publicaciones en las que colabora con ANTONIO JESÚS RODRÍGUEZ SALAS (3)
2003
-
Negation and BCK-algebras
Mathematical Logic Quarterly, Vol. 49, Núm. 4, pp. 336-346
2002
-
Algebraization of the Three-valued BCK-logic
Mathematical Logic Quarterly, Vol. 48, Núm. 2, pp. 163-178
2000
-
Linearization of the BCK-logic
Studia Logica, Vol. 65, Núm. 1, pp. 31-51