【摘要】 模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.更多还原

【Abstract】 The formal deductive system L* of fuzzy propositional logic has been successfully applied to the joint research of fuzzy logic and fuzzy reasoning. In this paper, besed on the system L*, corresponding first-order logic system K* is built up, and its completeness also is proved.更多还原