期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基础模糊命题演算系统BL＊的改进系统 被引量：1
1
作者 吴洪博 龚家安 《模糊系统与数学》 CSCD 北大核心 2010年第3期1-5,共5页
基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理... 基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。 展开更多
关键词 模糊逻辑 命题演算 系统bl＊ 简化 改进
下载PDF
BL命题逻辑系统的强同余关系及演绎系统 被引量：1
2
作者 崔艳丽 梁颖 吴洪博 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2018年第2期237-241,共5页
通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念,并引入强同余关系,讨论BL系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.
关键词 模糊逻辑 命题逻辑系统bl 演绎系统 强同余关系
下载PDF
基于BL系统的演绎系统集代数的剩余格属性 被引量：1
3
作者 梁颖 崔艳丽 吴洪博 《山东大学学报（理学版）》 CAS CSCD 北大核心 2017年第11期65-70,共6页
在命题逻辑系统BL中提出了演绎系统的概念,并且给出了由F(S)的子集生成演绎系统的方法,证明了命题逻辑系统BL中演绎系统和结论之集的同一性;其次,在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F)中上,下确界的存在... 在命题逻辑系统BL中提出了演绎系统的概念,并且给出了由F(S)的子集生成演绎系统的方法,证明了命题逻辑系统BL中演绎系统和结论之集的同一性;其次,在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F)中上,下确界的存在性;最后,在D(F)中定义了二元运算∧,∨,*,→,证明了集代数(D(F),∧,∨,*,→,0,1)是满足可除性的完备剩余格。 展开更多
关键词 模糊逻辑 命题逻辑系统bl 演绎系统 剩余格 可除性
原文传递
逻辑系统L~*和BL~*的广义演绎定理的逆定理 被引量：1
4
作者 荣宇音 徐罗山 《计算机工程与应用》 CSCD 北大核心 2019年第1期47-49,共3页
利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。
关键词 逻辑系统L^* 逻辑系统bl^* 广义演绎定理 强可靠性
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部