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

Natanael Alpay, Peter Jipsen, Melissa Sugimoto. Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras. Logical Methods in Computer Science, 20(1), 2024. [doi]

Authors

Natanael Alpay

This author has not been identified. Look up 'Natanael Alpay' in Google

Peter Jipsen

This author has not been identified. Look up 'Peter Jipsen' in Google

Melissa Sugimoto

This author has not been identified. Look up 'Melissa Sugimoto' in Google