Michiro Kondo Mayuka F. Kawaguchi Partially Ordered Set with Residuated t-norm. 26-29 2005 conf/ismvl/2005 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.37 db/conf/ismvl/ismvl2005.html#KondoK05