具有三种否定的模糊命题逻辑形式系统FLCOM的<i>λ</i>-归结<sup>*</sup>

赵洁心，潘正华

λ-Resolution of Fuzzy Propositional Logic System with Three Kinds of Negation FLCOM

ZHAO Jie-Xin, PAN Zheng-Hua

模式识别与人工智能 . 2015, (3): 202 -208 . DOI: 10.16451/j.cnki.issn1003-6059.201503002