1 research outputs found
General coupled semirings of residuated lattices
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