Consistency and reduction of finite proposition set in n-valued propositional logic Ln *
LI Li-feng
Computer Engineering and Applications . 2009, (13): 59 -61 .  DOI: 10.3778/j.issn.1002-8331.2009.13.017