摘要
模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.
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.
出处
《数学年刊（A辑）》
CSCD
北大核心
2002年第6期675-684,共10页
Chinese Annals of Mathematics
关键词
模糊逻辑
一阶谓词演算
形式系统K^＊
R0代数
完备性
Fuzzy logic, First-order predicate calculus, Formal system K*, R0 algebra, Completeness
