Reduction theory of finite proposition set in £ukasiewicz propositional logic
LI Li-feng,ZHANG Jian-ke,FENG Feng
Computer Engineering and Applications . 2009, (7): 44 -45 .  DOI: 10.3778/j.issn.1002-8331.2009.07.014