Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras

Natanael Alpay, Peter Jipsen, Melissa Sugimoto

A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge ,\vee ,\cdot )$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and w…