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 12 items.
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. (Q2351509) (← 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)
- The finite embeddability property for residuated groupoids. (Q2510712) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)