  Di Nola and Gerla showed that MV-algebras and coupled semirings are in a
natural one-to-one correspondence. We generalize this correspondence to
residuated lattices satisfying the double negation law.
