QUANTITATIVE LOGIC AND SOFT COMPUTING