Quantitative Logic and Soft Computing 2016 - Fan, Tai-He; Chen, Shui-Li; Wang, San-Min; Li, Yong-Ming (Springer International Publishing, 2017)