The following pages link to (Q3505075):
Displaying 12 items.
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras. (Q1771949) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Type logics and pregroups (Q2467212) (← links)
- The finite embeddability property for residuated groupoids. (Q2510712) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
- Interpolation and FEP for logics of residuated algebras (Q2885171) (← links)
- On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
- (Q4370246) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- On the finite embeddability property for residuated ordered groupoids (Q5461379) (← links)
- Complexity of the universal theory of residuated ordered groupoids (Q6169326) (← links)