Pages that link to "Item:Q2510712"
From MaRDI portal
The following pages link to The finite embeddability property for residuated groupoids. (Q2510712):
Displaying 8 items.
- Finite coverability property (Q1991579) (← links)
- Semilinear substructural logics with the finite embeddability property (Q1991589) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
- (Q4553286) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS (Q5501771) (← links)
