| |
| 2003 | ||
|---|---|---|
| 6 | EE | Francisco M. García Olmedo, Antonio J. Rodríguez Salas: Negation and BCK-algebras. Math. Log. Q. 49(4): 336-346 (2003) |
| 2002 | ||
| 5 | 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 | ||
| 4 | Francisco M. García Olmedo, Antonio J. Rodríguez Salas: Linearization of the BCK-logic. Studia Logica 65(1): 31-51 (2000) | |
| 1995 | ||
| 3 | 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) | |
| 2 | Antonio J. Rodríguez Salas, Francisco M. García Olmedo: A Structure Theorem for Free Temporal Algebras. Math. Log. Q. 41: 249-256 (1995) | |
| 1994 | ||
| 1 | Antonio J. Rodríguez Salas, Antoni Torrens: Wajsberg algebras and Post algebras. Studia Logica 53(1): 1-20 (1994) | |
| 1 | Francisco M. García Olmedo | [2] [3] [4] [5] [6] |
| 2 | Antoni Torrens | [1] |