D3-randomized truth degree of formulas in logic system Gdel 3
Meng Yongsheng · 2011
By means of randomization,the concept of D3-randomized truth degree of formulas in logic system Gdel 3 is introduced;it is proved that the set of values of D3-randomized truth degree of formulas has no isolated point in[0,1].The concepts of D3-similarity degree and D3-pseudo-metric are also introduced;it is proved that there is no isolated point in D3-logic metric space.Three different types of approximate reasoning patterns are proposed in D3-logic metric space.The theories of consistency and independence of formulas are developed.