HEYTING代数

作品数:47被引量:79H指数:6
导出分析报告
相关领域:理学更多>>
相关作者:刘春辉李志伟包洪亮王国俊徐晓泉更多>>
相关机构:陕西师范大学赤峰学院首都师范大学西北大学更多>>
相关期刊:《天津师范大学学报(自然科学版)》《纺织高校基础科学学报》《云南师范大学学报(自然科学版)》《吉林师范大学学报(自然科学版)》更多>>
相关基金:国家自然科学基金内蒙古自治区高等学校科学研究项目陕西省自然科学基金教育部人文社会科学研究基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
剩余序半群的内部和闭包算子
《浙江大学学报(理学版)》2025年第3期371-376,396,共7页李毅君 王军涛 
国家自然科学基金资助项目(12001423);教育部人文社会科学研究一般项目(24XJC72040001);陕西省自然科学基础研究计划项目(2024JC-YBMS-575);广东省哲学社会科学规划年度项目(GD23YGL17);陕西省教育厅青年创新团队科研项目(23JP132);广东金融学院优秀青年博士科研启动项目(0000-KC20210050011570)。
通过引入剩余序半群的内部和闭包算子概念,研究了相关代数性质,讨论了剩余序半群内部和闭包算子之间的关系,得到了两者相互转化的方法。同时,讨论了剩余序半群内部和闭包算子集之间的关系,证明了两者之间可以建立伽罗瓦伴随对,给出了剩...
关键词:剩余序半群 内部算子 闭包算子 伽罗瓦伴随对 HEYTING代数 
有界Heyting代数的扩张理想和稳定理想
《高校应用数学学报(A辑)》2024年第2期231-247,共17页刘春辉 
内蒙古自治区高等学校科学研究项目(NJZY21138,NJZY22146);内蒙古自治区残疾人联合会研究项目(2023KTYJ19);赤峰学院2022年教育教学研究重点项目(JYJXZ202204)。
运用泛代数的方法和原理深入研究有界Heyting代数的理想问题.在有界Heyting代数(H,≤,→,0,1)中引入了理想I关于H的子集的扩张理想和稳定理想概念,获得了它们的若干基本性质.系统讨论了由两类特殊扩张理想构成集合的格论特征,证明了:(1...
关键词:有界Heyting代数 理想 扩张理想 稳定理想 Stone格 完备Heyting代数 
有界Heyting代数的素理想及其谱空间被引量:1
《模糊系统与数学》2024年第1期65-80,共16页刘春辉 
内蒙古自治区高等学校科学研究项目(NJZY21138);内蒙古自治区残疾人事业研究会项目(2023kTYJ19)。
运用泛代数和格理论的方法和原理对有界Heyting代数及其理想问题作进一步研究。首先,讨论了Ockham型有界Heyting代数、预线性有界Heyting代数和Boole代数间的关系,给出了有界Heyting代数及Ockham型有界Heyting代数中理想的若干新性质;其...
关键词:有界Heyting代数 Ockham型有界Heyting代数 素理想 谱空间 
有界Heyting代数的交换理想与关联理想
《模糊系统与数学》2023年第1期21-33,共13页刘春辉 
内蒙古自治区高等学校科学研究项目(NJZY21138)
运用泛代数和格理论的方法和原理进一步深入研究有界Heyting代数的理想问题。在有界Heyting代数中引入了交换理想、关联理想和正关联理想概念并讨论了它们的性质和相互关系。获得了各种理想的若干等价刻画。证明了在有界Heyting代数中,...
关键词:有界Heyting代数 理想 交换理想 关联理想 正关联理想 
有界Heyting代数上基于理想的一致拓扑空间被引量:2
《山东大学学报(理学版)》2022年第11期10-20,25,共12页刘春辉 
内蒙古自治区高等学校科学研究项目(NJZY21138);赤峰学院一流扶持学科(数学及计算机科学与技术)建设专项经费资助项目。
为了利用拓扑学工具研究有界Heyting代数的性质和结构问题,基于由理想概念诱导的一类同余关系在有界Heyting代数(H,≤,→,0,1)上构造一致拓扑空间(H,τ)并考察其基本性质和拓扑性质,证明了(H,τ)是非连通的局部连通、局部紧、零维、第...
关键词:有界Heyting代数 理想 一致拓扑空间 商空间 
有界Heyting代数及其理想理论被引量:4
《模糊系统与数学》2022年第5期54-68,共15页刘春辉 
内蒙古自治区高等学校科学研究项目(NJZY21138)。
运用泛代数和格理论的方法和原理研究有界Heyting代数及其理想问题。首先,给出了有界Heyting代数的若干新性质。其次,在有界Heyting代数(H,≤,→,0,1)中引入理想及由H的非空子集生成的理想概念并考察它们的性质和刻画。再次,分析了H的...
关键词:有界Heyting代数 理想 生成理想 完备Heyting代数 分配连续(代数)格 FRAME 
有界Heyting代数的扩张模糊LI-理想被引量:2
《浙江大学学报(理学版)》2021年第3期289-297,共9页刘春辉 
国家自然科学基金资助项目(60774073);内蒙古自治区高等学校科学研究项目(NJZY21138).
运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数(H,≤→ ,0,1)中,引入了模糊LI-理想∫关于H上的模糊子集κ的扩张模糊LI-理想和不变模糊LI-理想概念,给出了扩张模糊LI-理想...
关键词:直觉逻辑 有界Heyting代数 模糊LI-理想 扩张模糊LI-理想 完备Heyting代数 
Heyting代数的犹豫模糊滤子被引量:1
《内江师范学院学报》2021年第2期31-39,共9页彭家寅 
国家自然科学基金(11071178,11671284)。
讨论了犹豫模糊集在Heyting代数滤子理论中的应用,引入了Heyting代数的犹豫模糊(布尔、蕴涵、正蕴涵、超、顽固)滤子的概念,并研究了相关性质.给出了Heyting代数的犹豫模糊(布尔、蕴涵、正蕴涵、超、顽固)滤子的特征,研究了一个犹豫模...
关键词:HEYTING代数 犹豫模糊集 犹豫模糊(布尔 蕴涵、正蕴涵、超、顽固)滤子 
Heyting代数的布尔原子及其应用
《山东大学学报(理学版)》2020年第5期71-80,共10页赵马盼 樊丰丽 颉永建 
国家自然科学基金资助项目(61673250);陕西省自然科学基础研究计划(2020JM-274);中央高校基本科研业务费重点项目(GK201902004)。
利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。
关键词:HEYTING代数 布尔代数 布尔原子 替换 
格的正规完备化的Boolean性
《模糊系统与数学》2019年第6期161-164,共4页江碧霞 徐晓泉 
国家自然科学基金资助项目(11661057);“赣鄱英才555工程”领军人才培养计划项目;江西省自然科学基金资助项目(20192ACBL20045)
引入了E-Heyting偏序集和伪补交半格的概念,证明了若B=(B,∨,∧,0,1)为有0,1的格,则B为Boolean代数当且仅当B为Heyting且其正规完备化为Boolean代数,当且仅当B为伪补交半格且其正规完备化为Boolean代数。
关键词:Boolean代数 HEYTING代数 正规完备化 
检索报告 对象比较 聚类工具 使用帮助 返回顶部