Antonio J. Rodríguez Salas

According to our database, Antonio J. Rodríguez Salas authored at least 7 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2023

Certain Bounds of Formulas in Free Temporal Algebras.

Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas, Pedro González-Rodelas

Axioms, December, 2023

2003

Negation and BCK-algebras.

Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas

Math. Log. Q., 2003

2002

Algebraization of the Three-valued BCK-logic.

Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas

Math. Log. Q., 2002

2000

Linearization of the BCK-logic.

Francisco Miguel García-Olmedo, Antonio J. Rodríguez Salas

Stud Logica, 2000

1995

A Structure Theorem for Free Temporal Algebras.

Antonio J. Rodríguez Salas, Francisco Miguel García-Olmedo

Math. Log. Q., 1995

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

1994

Wajsberg algebras and Post algebras.

Antonio J. Rodríguez Salas, Antoni Torrens

Stud Logica, 1994