Hiroaki Kikuchi Noboru Takagi de Morgan Bisemilattice of Fuzzy Truth Value. 180-184 2002 conf/ismvl/2002 ISMVL http://computer.org/proceedings/ismvl/1462/14620180abs.htm db/conf/ismvl/ismvl2002.html#KikuchiT02