| |
| 2003 | ||
|---|---|---|
| 5 | EE | Francisco M. García Olmedo, Antonio J. Rodríguez Salas: Negation and BCK-algebras. Math. Log. Q. 49(4): 336-346 (2003) |
| 2002 | ||
| 4 | EE | Francisco M. García Olmedo, Antonio J. Rodríguez Salas: Algebraization of the Three-valued BCK-logic. Math. Log. Q. 48(2): 163-178 (2002) |
| 2000 | ||
| 3 | Francisco M. García Olmedo, Antonio J. Rodríguez Salas: Linearization of the BCK-logic. Studia Logica 65(1): 31-51 (2000) | |
| 1995 | ||
| 2 | Antonio J. Rodríguez Salas, Francisco M. García Olmedo: Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity. Math. Log. Q. 41: 24-38 (1995) | |
| 1 | Antonio J. Rodríguez Salas, Francisco M. García Olmedo: A Structure Theorem for Free Temporal Algebras. Math. Log. Q. 41: 249-256 (1995) | |
| 1 | Antonio J. Rodríguez Salas | [1] [2] [3] [4] [5] |