Discussions on some kinds of inference rules in gradational lattice-valued propositional logic
HONG Zhiyong1, LIU Yi2,3, QIN Keyun4
Computer Engineering and Applications . 2017, (24): 55 -58 .  DOI: 10.3778/j.issn.1002-8331.1708-0211