Family R λ-L∏GN of implication operator and its Triple I sustaining method
MENG Guang-wu,ZHANG Xing-fang,LI Cheng-yun
Computer Engineering and Applications . 2009, (20): 49 -51 .  DOI: 10.3778/j.issn.1002-8331.2009.20.014