Publications by the researcher in collaboration with ANTONIO JESÚS RODRÍGUEZ SALAS (5)

2003

  1. Negation and BCK-algebras

    Mathematical Logic Quarterly, Vol. 49, Núm. 4, pp. 336-346

2002

  1. Algebraization of the Three-valued BCK-logic

    Mathematical Logic Quarterly, Vol. 48, Núm. 2, pp. 163-178

2000

  1. Linearization of the BCK-logic

    Studia Logica, Vol. 65, Núm. 1, pp. 31-51

1982

  1. Algebras de Wajsberg pseudocomplementadas

    Actas de las IX Jornadas hispano-lusas de matemáticas: Salamanca. 12-16 abril 1982