Quantitative Logic and Soft Computing