Text this: Quantitative logic and soft computing :