Quantitative Logic and Soft Computing 2010 Volume 2 - Cao, Bing-yuan (Springer Berlin Heidelberg, 2010)