Pages that link to "Item:Q2752417"
From MaRDI portal
The following pages link to On the finite embeddability property for residuated lattices, pocrims and BCK-algebras (Q2752417):
Displaying 7 items.
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329) (← links)
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras. (Q1771949) (← links)
- Characteristic inference rules (Q2342800) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- A short note on hoops and continuous \(t\)-norms (Q2752414) (← links)