Michiro Kondo O. Watari Mayuka F. Kawaguchi Masaaki Miyakoshi A Logic Determined by Commutative Residuated Lattices. 45-48 2007 EUSFLAT Conf. (2) http://www.eusflat.org/publications/proceedings/EUSFLAT_2007/papers/KONDO_Michiro_(75).pdf conf/eusflat/2007-2 db/conf/eusflat/eusflat2007-2.html#KondoWKM07