Theory of probability truth degree for formula in propositional logic system
YU Xi-chang 1,TAN Gui-mei 2,ZHANG Xing-fang 3
Computer Engineering and Applications . 2010, (5): 40 -43 .  DOI: 10.3778/j.issn.1002-8331.2010.05.013