期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
L~*系统的半对偶形式系统S“非汉字符号”~* 被引量：4
1
作者 吴洪博 陈景林 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第4期4-8,共5页
研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .
关键词 模糊命题演算 形式演绎系统T^＊ 半对偶形式演绎系统ST^-＊ 并推理规则 交推理规则 等价性
下载PDF
L~*系统的一种弱完全对偶形式系统WCL 被引量：5
2
作者 吴洪博 王国俊 《西安石油学院学报（自然科学版）》 2000年第6期48-52,共5页
研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 。
关键词 模糊逻辑 命题演算 形式演绎系统T^＊ 弱完全对偶形式演绎系统WCT^＊-
下载PDF
关于形式系统L~*及R_0代数的若干结果 被引量：3
3
作者 王保社 张小红 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第3期28-31,42,共5页
研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.
关键词 数理逻辑 模糊逻辑 形式演绎系统 R0-代数 BCK-代数 对偶代数
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部