分层格值命题逻辑系统中几类推理规则的讨论
洪智勇1,刘 熠2,3,秦克云4
Discussions on some kinds of inference rules in gradational lattice-valued propositional logic
HONG Zhiyong1, LIU Yi2,3, QIN Keyun4
计算机工程与应用 . 2017, (24): 55 -58 .  DOI: 10.3778/j.issn.1002-8331.1708-0211