Truth degree function on set of formulas in propositional logic system Ln
MA Li-na 1,LIU Shuo 2,WANG Guo-jun 1
Computer Engineering and Applications . 2010, (36): 37 -39 .  DOI: 10.3778/j.issn.1002-8331.2010.36.010