期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
赋值格为非线性序的一种4值逻辑系统G_4~2 被引量:3
1
作者 郑亚林 李彩萍 《宝鸡文理学院学报(自然科学版)》 CAS 1998年第4期1-4,共4页
研究赋值格为非线性序,非运算不同于Boole的非运算,而蕴含算子→取Godel的RG的一种4值逻辑系统G24,得到一些结果,特别是,在G24中,α-MP规则(α>0)都成立,G24-重言式都是C2-重言式,所有的I... 研究赋值格为非线性序,非运算不同于Boole的非运算,而蕴含算子→取Godel的RG的一种4值逻辑系统G24,得到一些结果,特别是,在G24中,α-MP规则(α>0)都成立,G24-重言式都是C2-重言式,所有的IPC-定理皆是G24-重言式,以及,一个公式是G24-重言式,当且仅当它既是G24-中的I-重言式,又是-J重言式。 展开更多
关键词 FUZZY逻辑 Godel蕴涵算子 α—MP规则 α—重言式 IPC—定理
下载PDF
赋值格为菱形格的4值逻辑系统GR_4~1
2
作者 郑亚林 白永成 王刚 《陕西理工学院学报(社会科学版)》 1998年第6期6-8,共3页
研究赋值格为非线性序,蕴涵算子→取Gaines-Rescher的RGR的一种4值逻辑系统GR14,得到若干结果.特别是,在系统GR14中,α-MP规则都成立(α>0);GR14重言式必是GR14-准重言式,GR14-准重言式必是C2-重言式,即一个公式是GR14中... 研究赋值格为非线性序,蕴涵算子→取Gaines-Rescher的RGR的一种4值逻辑系统GR14,得到若干结果.特别是,在系统GR14中,α-MP规则都成立(α>0);GR14重言式必是GR14-准重言式,GR14-准重言式必是C2-重言式,即一个公式是GR14中的重言式当且仅当它既是I-重言式又是J-重言式,即. 展开更多
关键词 FUZZY逻辑 Gaines-Rescher蕴涵算子 Α-重言式 α-mp规则
下载PDF
A formal deductive system for fuzzy propositional calculus 被引量:8
3
作者 WANG Guojun 《Chinese Science Bulletin》 SCIE 1997年第18期1521-1525,共5页
A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famo... A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famous experts working in artificial intelligence and fuzzy systems refuted the opinion. Elkan then gave another report entitled 'The Paradoxical Controversy over Fuzzy Logic' as a reply to the refutations mentioned above. Prof. Wu gave a detailed analysis on the controversy (see ref. [3]). This shows that there is no rigid logic foundation for fuzzy propositional calculus. In this note we first point out that it is impossible to keep all classical theorems as tautologies in the field of fuzzy propositional calculus. Then we introduce a formal deductive system in fuzzy propositional calculus by giving up certain classical axioms, and the corresponding soundness theorem is proved. 展开更多
关键词 ∑R-tautology α-mp rule α-HS rule algebra of fuzzy formulas formal deductive system■(■) quotient algebra.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部