期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
赋值格为险象识别格的一种非经典逻辑系统K~#(Ⅱ)(英文)
1
作者 白永成 郑亚林 《汉中师范学院学报》 2004年第6期1-10,共10页
研究赋值格为非线性序的一种非经典逻辑系统K# .在该系统中 ,格结构不同于Boole代数 ,蕴涵算子→取Kleene_Dienes算子RKD.得到若干结果 ,特别是K# _准重言式恰是经典命题逻辑C2 中的重言式 ,从而也等于C2 中的定理 ,即QT(K# ) =T(C2 ) ... 研究赋值格为非线性序的一种非经典逻辑系统K# .在该系统中 ,格结构不同于Boole代数 ,蕴涵算子→取Kleene_Dienes算子RKD.得到若干结果 ,特别是K# _准重言式恰是经典命题逻辑C2 中的重言式 ,从而也等于C2 中的定理 ,即QT(K# ) =T(C2 ) =Φ├ . 展开更多
关键词 FUZZY逻辑 Kleene-Dienes蕴涵算子 Wang Guojun蕴涵算子 准重言式 α-重言式 α-modus ponens 险象识别格 险象识别逻辑系统
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部