剩余格上的WMTL-滤子及相关性质的研究

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:anywho
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模糊逻辑理论中,剩余格是应用较广泛的逻辑代数结构.为了进一步研究剩余格的性质,本文从多个方面对其进行了比较深入的再研究.首先,对剩余格上的滤子理论进一步探讨.滤子在研究逻辑代数与相关的非经典逻辑系统完备性领域占据重要地位,因此,这方面的研究工作备受各学者的青睐.本文引入了剩余格上的WMTL-滤子的概念,研究了其相关性质并讨论了WMTL-滤子与其他各滤子之间的关系;其次,为了了解剩余交半格中所有正则元构成的集合是否是剩余交半格,文中引入了剩余交半格的概念并对其进行了研究;此外,本文也初步讨论了剩余格与剩余交半格间的一些联系.本文的具体内容安排如下:第1章:预备知识.本章给出了本文中将要涉及到的一些概念及其相关结论:偏序集,格,伴随对,剩余格,剩余格上的滤子,MTL-代数,BL-代数,WMTL-代数.第2章:剩余格上的WMTL-滤子及其相关性质.首先,在剩余格中引入了WMTL-滤子的概念,并对其进行了研究.指出了WMTL-滤子是剩余格上一类特殊的滤子;其次,给出WMTL-滤子的特征定理及其等价刻画,并讨论了由WMTL-滤子诱导的商代数是WMTL代数;最后,系统的讨论了剩余格上的蕴涵滤子,正蕴涵滤子,MTL-滤子,2-重MTL-滤子与WMTL-滤子间的关系.第3章:剩余交半格及其相关性质.首先,本章给出了剩余交半格的概念,通过对其性质的研究,证明了剩余交半格中的所有正则元构成的集合是交半格,并举例说明了剩余交半格中的所有正则元构成的集合不是剩余交半格;其次,证明了满足剩余交换律:x(x→y)= y(?)(y→x)的正则剩余交半格是Wajsberg代数;最后,由剩余交换律得出了 L是满足剩余交换律的MTL代数当且仅当L是BL代数.
其他文献
我国于2015年对《保险法》进行了至今最新一次的修订,其中关于危险增加通知义务的规定仍然保留着原有旧《保险法》对危险增加识别程度要求,即“显著”。可以看出对关于危险增
上世纪70年代初产生的Domain理论是理论计算机科学中程序设计语言指称语义学的数学基础,具有理论计算机科学和纯粹数学的双重研究背景.由于其丰富的序结构和拓扑结构,使Domai
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的数学模型.由于Quantale具有良好的
小学教育中,科学是一门非常重要的学科,尤其是科学学科中的科学实验,不但可以激发学生学习科学的兴趣,也可以激发学生们的智力,提高学生的科学素质,从而培养对科学知识的学习
三氟甲烷(Fluoroform CHF3)是一种重要的温室气体,其高分辨和高精度的光谱数据在大气物理和化学中都有重要的应用。它还是研究由C-H弯曲和伸缩振动模之间的强费米共振引起的分
本文我们主要研究Erd(?)s-Graham-Spencer猜想及相关数论问题,得到下列主要结果:1980年,Erd(?)s,Graham和Spencer提出猜想:对于正整数序列a1 ≤ a2 ≤…≤as,若(?),则这些正
标准模型是目前比较成功的理论,它预言了实验上的规范玻色子,费米子和Higgs粒子。Higgs场具有破缺对称性,它可以使费米子和规范玻色子获得质量。物理学家建立了许多模型来研
在量子信息和算子理论中,算子矩阵和算子方差具有很重要的研究价值.在1955年,华罗庚教授给出了一类特殊的算子矩阵Hua-型算子矩阵,并给出了这类算子矩阵的一些行列式不等式.
连续液面成型工艺利用氧阻聚效应使固化层与约束基底的剥离力显著减小,从而显著提高了打印速度,然而,为了满足3D打印由产品原型快速制造向功能零件大规模直接制造对打印速度
基于半转机构的半转翼通过连续不对称转动的翼片来模仿昆虫飞行,能避免由自身往复摆动产生的惯性力,使半转翼飞行器更有利于飞行。本文基于半转翼前期研究的成果,结合昆虫飞