期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 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
赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2 被引量：1
2
作者 郑亚林 张文修 《模糊系统与数学》 CSCD 1999年第3期52-56,共5页
研究赋值格为非线性序，非运算　｜不同于Ｂｏｏｌｅ 的补运算′，而蕴含算子→取ＫｌｅｅｎｅＤｉｅｎｅｓ的ＲＫ 的一种新的四值逻辑系统Ｋ２４，得到若干结果。特别是，Ｋ２４中没有重言式，其准重言式恰与Ｃ２ 中的重言式一致，... 研究赋值格为非线性序，非运算　｜不同于Ｂｏｏｌｅ 的补运算′，而蕴含算子→取ＫｌｅｅｎｅＤｉｅｎｅｓ的ＲＫ 的一种新的四值逻辑系统Ｋ２４，得到若干结果。特别是，Ｋ２４中没有重言式，其准重言式恰与Ｃ２ 中的重言式一致，即ＱＴ（Ｋ２４）＝ Ｔ（Ｃ２）。 展开更多
关键词 蕴含算子 四值逻辑系统 非线性序 赋值格
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部