Francisco Miguel García-Olmedo

According to our database, Francisco Miguel García-Olmedo authored at least 7 papers between 1995 and 2023.

Collaborative distances:

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

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

Mathematical Foundation of a Functional Implementation of the CNF Algorithm.

Francisco Miguel García-Olmedo, Jesús García-Miranda, Pedro González-Rodelas

Algorithms, 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