Describir: Quantitative logic and soft computing :