New Boolean Multivalued Logic System Simplifying Inferences in Flexible Styles. - Asami Sasaki; Kujira Suzuki; Kin-ya Sugimoto; Hisashi Suzuki (ICSEng, 2011)