Introduction to Quantitative Logic
Guojun Wang · Mohu xitong yu shuxue · 2012
In the present paper,quantitative logic theories,including the concepts of truth degree of formulas,similarity degree between formulas,logic metric spaces and three types of approximate reasoning,are briefly introduced in diverse propositional logic systems,especially in the system L*.Quantitative theory in first-order logic systems is also introduced.Finally,some possible research topics are proposed.