Quantitative logic