期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 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
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部