The following pages link to (Q2752417):
Displaying 5 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)
- Characteristic inference rules (Q2342800) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
