Pages that link to "Item:Q5461379"
From MaRDI portal
The following pages link to On the finite embeddability property for residuated ordered groupoids (Q5461379):
Displayed 7 items.
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- On varieties of biresiduation algebras (Q2433109) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)