期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
反Heyting代数中MT理想及其性质
1
作者 冯丹丹 吴洪博 《云南师范大学学报（自然科学版）》 2019年第3期16-22,共7页
将MT理想的概念引入到反Heyting代数中并对其性质进行了较为深入的研究.首先,在反Heyting代数中通过反蕴涵算子提出了MT理想的概念,讨论了MT理想的等价条件和他的基本性质;其次,给出了反Heyting代数的MT理想的几种生成方法;最后,在反Hey... 将MT理想的概念引入到反Heyting代数中并对其性质进行了较为深入的研究.首先,在反Heyting代数中通过反蕴涵算子提出了MT理想的概念,讨论了MT理想的等价条件和他的基本性质;其次,给出了反Heyting代数的MT理想的几种生成方法;最后,在反Heyting代数中提出了素MT理想、极大MT理想以及次极大MT理想的概念,并且讨论了这些特殊理想的性质以及相互关系. 展开更多
关键词 反Heyting代数 mt理想 素mt理想 极大mt理想 次极大mt理想
在线阅读 下载PDF
BR_0-代数中MT理想的扩展及素MT理想的存在性 被引量：5
2
作者 吴洪博 王娜 《电子学报》 EI CAS CSCD 北大核心 2015年第6期1137-1143,共7页
BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法... BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法和MP滤子的特征,在BR0-代数中提出了MT理想,极大MT理想,素MT理想等概念,讨论了它们的基本性质及相互关系,并通过素并-理想构造性的证明了素MT理想的存在性;最后,在非退化的BR0-代数中证明了任何一个真MT理想可以扩展为一个极大素MT理想.本文的工作是对BR0-代数研究内容和方法的有益补充. 展开更多
关键词 逻辑代数 BR0-代数 素并-理想 mt理想 扩展 素mt理想 存在性
在线阅读 下载PDF
基于正则FI代数的MT理想及其应用 被引量：12
3
作者 吴洪博 汪宁 《电子学报》 EI CAS CSCD 北大核心 2013年第7期1389-1394,共6页
本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件... 本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件嵌入定理;最后,通过以蕴涵算子表示的隐式余三角模对MT理想的特征进行了描述,并通过特征定理给出了正则FI代数中MT理想的生成方法. 展开更多
关键词 逻辑代数 正则FI代数 mt理想 同余关系 还原性 条件嵌入 生成方法
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部