The following pages link to Francisco M. García Olmedo (Q1576375):
Displaying 6 items.
- Linearization of the BCK-logic (Q1576377) (← links)
- (Q3140488) (← links)
- Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity (Q4323829) (← links)
- Negation and BCK-algebras (Q4419262) (← links)
- (Q4531081) (← links)
- A Structure Theorem for Free Temporal Algebras (Q4835527) (← links)
