Wajsberg algebras and Post algebras. - Antonio J. Rodríguez Salas; Antoni Torrens (Stud Logica, 1994)

Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity. - Antonio J. Rodríguez Salas; Francisco Miguel García-Olmedo (Math. Log. Q., 1995)

A Structure Theorem for Free Temporal Algebras. - Antonio J. Rodríguez Salas; Francisco Miguel García-Olmedo (Math. Log. Q., 1995)

Linearization of the BCK-logic. - Francisco Miguel García-Olmedo; Antonio J. Rodríguez Salas (Stud Logica, 2000)

Algebraization of the Three-valued BCK-logic. - Francisco Miguel García-Olmedo; Antonio J. Rodríguez Salas (Math. Log. Q., 2002)

Negation and BCK-algebras. - Francisco Miguel García-Olmedo; Antonio J. Rodríguez Salas (Math. Log. Q., 2003)

Certain Bounds of Formulas in Free Temporal Algebras. - Francisco Miguel García-Olmedo; Antonio J. Rodríguez Salas; Pedro González-Rodelas (Axioms, 2023)