期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
非线性序逻辑系统~2中的重言式
1
作者 辛晓东 《固原师专学报》 2002年第3期1-5,共5页
定义了非线性逻辑系统W^2,研究了W^2中的重言式及广义重言式,得到了若干与线性逻辑系统W^2中相类似的结果。
关键词 FUZZY逻辑 重言式 α—重言式 ∑—(α—重言式)
下载PDF
赋值格为非线性序的一种4值逻辑系统G_4~2 被引量:3
2
作者 郑亚林 李彩萍 《宝鸡文理学院学报(自然科学版)》 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
上一页 1 下一页 到第
使用帮助 返回顶部