A Logic Determined by Commutative Residuated Lattices.
Michiro Kondo, Osamu Watari, Mayuka F. Kawaguchi, Masaaki Miyakoshi
Browse the full EUSFLAT paper archive.
Michiro Kondo, Osamu Watari, Mayuka F. Kawaguchi, Masaaki Miyakoshi
Browse the full EUSFLAT paper archive.