Quantitative Logic (I)
Guojun Wang · Gongcheng shuxue xuebao · 2006
The concept of truth degree of formulas in diverse propositional logic systems is proposed, and the concepts of similarity degree and pseudo-metric among formulas are introduced therefrom. Basic properties of the induced logic metric space are investigated, of which theories of divergency degree and consistency degree of a logic theory are developed, and three types of approximate reasoning models are proposed as well, and an elementary quantitative logic theory is hence established.