Stochastic study in Lukasiewicz's logic system
Guangming Zhuang · Computer Engineering and Applications Journal · 2009
In this paper,DL-stochastic truth degree of formulas in Lukasiewicz’s logic is presented by using stochastic method on evaluation sets.It is proved that the set of stochastic truth degree of all formulas has no isolated point on [0,1].The conceptions of DL-similarity degree and pseudo-metric on two formulas are given.DL-logic metric space is built.And it is proved that this space has no isolated point.