The following pages link to Antonio J. Rodríguez Salas (Q1576376):
Displaying 8 items.
- Linearization of the BCK-logic (Q1576377) (← links)
- (Q3140488) (← links)
- (Q3478408) (← links)
- (Q3671977) (← 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)
