论文摘要
在模糊逻辑中,滤子理论对证明演绎系统完备性有非常深刻的意义.近年来,学者们从不同角度对其进行研究,提出了多种形式的滤子.特别地,作为一类特殊的滤子,零化子被广泛应用于代数研究中.而R0-代数作为非经典数理逻辑的一种重要代数结构,因其特有的运算独立性,已受到研究者的广泛关注.为进一步揭示它的代数特征,本文基于零化子理论,提出了相对零化子和广义相对零化子,并对其进行深入研究.具体工作如下:1.在R0-代数中引入相对零化子的定义,通过结合滤子的相关性质,将其推广为广义相对零化子,并证明了R0-代数中的广义相对零化子仍是滤子.接着讨论了相对零化子与广义相对零化子的关系,并对广义相对零化子的基本性质及相关的n,∩运算进行研究.2.从广义相对零化子与滤子的关系出发,提出了相对不动滤子和相对吸收点的概念,并对相对吸收点重点研究,以拓展广义相对零化子的应用范围.此外基于R0-代数中的给定素滤子,给出了一个以相对吸收点为对象的分配格以及素滤子定理.3.通过对R0-代数中广义相对零化子的进一步研究,证明了利用R0-代数中给定的两个元构造的广义相对零化子族可构成一个完备的Heyting代数.
论文目录
文章来源
类型: 硕士论文
作者: 张枥方
导师: 吴洪博
关键词: 代数,广义相对零化子,相对不动滤子,分配格,完备的代数
来源: 陕西师范大学
年度: 2019
分类: 基础科学
专业: 数学
单位: 陕西师范大学
分类号: O153
DOI: 10.27292/d.cnki.gsxfu.2019.001030
总页数: 46
文件大小: 1399K
下载量: 3
相关论文文献
- [1].R_0代数中素滤子的拓扑性质[J]. 数学学报 2008(04)
- [2].原发性肝细胞癌R_0切除术后肝外转移患者生存分析[J]. 中华肿瘤防治杂志 2015(01)
- [3].格蕴涵代数与R_0代数的关系[J]. 毕节学院学报 2013(08)
- [4].R_0代数的滤子理论[J]. 模糊系统与数学 2009(03)
- [5].模糊集间的R_0-相似关系及其性质[J]. 计算机工程与应用 2011(31)
- [6].R_0代数中的幂等元及其应用[J]. 陕西师范大学学报(自然科学版) 2011(03)
- [7].R_0-代数滤子的粗糙性[J]. 模糊系统与数学 2010(06)
- [8].高效液相色谱法测定珠子参中人参皂苷R_0的含量[J]. 云南中医中药杂志 2016(03)
- [9].基于R_0-蕴涵伴随对的重心法模糊系统及其概率表示理论[J]. 沈阳师范大学学报(自然科学版) 2010(02)
- [10].R_0代数中素理想的拓扑性质[J]. 福建师范大学学报(自然科学版) 2009(01)
- [11].R_0-代数上的距离结构及其在命题逻辑中的应用[J]. 模糊系统与数学 2010(03)
- [12].四值非全序R_0命题逻辑上的随机伪度量[J]. 云南大学学报(自然科学版) 2012(02)
- [13].关于R_0-代数的公理系统[J]. 数学物理学报 2008(05)
- [14].R_0-代数的导子[J]. 计算机工程与应用 2017(21)
- [15].基于R_0蕴涵算子的Vague集相似度量研究[J]. 统计与决策 2016(01)
- [16].函数算术均值极限的黎曼积分形式及其在R_0命题逻辑中的应用[J]. 电子学报 2016(08)
- [17].态R_0代数[J]. 数学杂志 2017(04)
- [18].R_0代数的直觉模糊子代数[J]. 四川理工学院学报(自然科学版) 2014(03)
- [19].拟R_0分离公理及其在模糊信息理论中的应用[J]. 深圳大学学报(理工版) 2008(02)
- [20].基于蕴涵算子的粗糙集代数与R_0-代数[J]. 计算机工程与应用 2010(19)
- [21].R_0代数中的模糊正规滤子[J]. 计算机工程与应用 2009(36)
- [22].模糊参数模糊软R_0-代数[J]. 模糊系统与数学 2013(06)
- [23].16种基础R_0-代数结构的相对独立公理系统[J]. 模糊系统与数学 2012(06)
- [24].磁层顶日下点距离R_0与磁暴D_(st)指数的相关性[J]. 大气科学学报 2011(04)
- [25].基于蕴涵算子族L-λ-R_0的模糊推理反向α-三I约束算法[J]. 模糊系统与数学 2009(05)
- [26].基于蕴涵算子族L-λ-R_0的模糊推理α-三I约束算法[J]. 计算机工程与应用 2008(04)
- [27].不分明化拓扑空间中的拟R_0分离公理的刻画[J]. 山东大学学报(理学版) 2008(04)
- [28].一种新颖的HgCdTe光伏探测器R_0和C_d测量方法[J]. 红外技术 2011(01)
- [29].基于蕴涵算子族L-λ-R_0的模糊推理三Ⅰ支持算法[J]. 河北师范大学学报(自然科学版) 2010(04)
- [30].R_0代数的根及其结构特征[J]. 模糊系统与数学 2009(04)