Distributive laws in residuated binars

Abstract

In residuated binars there are six non-obvious distributivity identities of $\cdot$,$/$,$\backslash$ over $\wedge ,\vee$. We show that in residuated binars with distributive lattice reducts there are some dependencies among these identities; specifically, there are six pairs of identities that imply another one of these identities, and we provide counterexamples to show that no other dependencies exist among these.

Cited by in corpus (1)

• Priestley duality for MV-algebras and beyond