【摘 要】
:
布尔代数作为经典逻辑系统的代数结构,在逻辑代数的研究中具有重要意义.伪布尔代数是布尔代数的一般化.本文进一步研究了伪布尔代数及其相关分配格的性质,通过对比几种分配格
论文部分内容阅读
布尔代数作为经典逻辑系统的代数结构,在逻辑代数的研究中具有重要意义.伪布尔代数是布尔代数的一般化.本文进一步研究了伪布尔代数及其相关分配格的性质,通过对比几种分配格之间的异同,本文得到了伪布尔代数和与它性质较为相似的几种分配格,如软代数,Heyting代数,R0代数,DFI-代数之间的关系,还给出了伪布尔代数转化为布尔代数的一些充分必要条件;其次,讨论了与之相关的分配格的性质,将R0单位区间的运算扩充得到新的结构,并且证明了它们都是同构的;将距离函数的概念引入DFI-代数中,得到了DFI-代数中距离函数的一些基本性质;最后,根据所引进的距离函数建立了相应的距离空间,并给出了一些性质.本文的章节结构和具体内容安排如下:第1章:预备知识.本章给出了文章中将要用到的一些基本概念及性质:格,分配格,剩余格,伪布尔代数,DFI-代数,距离函数等.第2章:伪布尔代数与几类分配格的关系.首先,给出了伪布尔代数与软代数之间的关系;其次,给出了伪布尔代数转化成为布尔代数的一些充分必要条件;最后,讨论了伪布尔代数与DFI-代数之间的关系.第3章:伪布尔代数与Heyting代数和与R0代数的关系及相关性质.首先,给出了伪布尔代数与Heyting代数,R0代数的关系;其次,将R0单位区间上的运算扩充,并给出了其同构的证明.第4章:DFI-代数的距离函数.首先,将距离函数的概念引入到DFI-代数中,得到了DFI-代数中距离函数的一些基本性质,并给出了在某些特殊的DFI-代数,如全序的DFI-代数上距离函数的特殊性质;其次,在DFI-代数中引入一个新运算(?),得到了DFI-代数的距离函数的等价定义及进一步性质,最后,根据所引进的距离函数建立了相应的距离空间,给出了伪布尔代数距离空间的一些性质.
其他文献
绢蝶是隶属于凤蝶科、绢蝶亚科的一类珍稀昆虫,主要分布在古北区北部、少数在新北区西部的高山地区。幼虫主要以景天科和紫堇科为寄主植物;成虫翅膀薄而透明,似帛如绢,故名。
Alpha稳定分布经常被用来分析非高斯序列,特别是时间序列的分布情况及重尾特性。本文研究理论的核心是Alpha稳定分布的基础理论,通过比较几种常见的描述稳定分布的参数系模型
秘密共享方案在实际生活中应用越来越广泛,特别的,在信息安全和数据保密中有很重要的应用.秘密共享方案是在参与者集合中共享秘密的一种协议,如果授权子集可以恢复秘密,而非
干细胞是一类具有自我更新与分化潜能细胞类群,该特点决定了干细胞在生物个体的胚胎发育、造血再生、组织修复等多种生理过程中发挥重要作用。生殖干细胞作为干细胞家族的一
本文主要讨论来自生态学中两类反应扩散模型.主要运用非线性偏微分方程和非线性分析知识,重点分析了平衡态问题正解存在性、稳定性、唯一性及正解的渐近行为.文章包括两部分
分数阶微积分作为整数阶微积分在阶次上的任意推广,近年来理论日趋完善,应用不断发展起来,其大量出现在物理、化学、生物、工程等诸多实际的系统模型中.从目前的研究动向来看
近年来,强烈的实际需求促使科学家们提出了众多的数学模型,而大量的数学模型可归纳为所谓的反应扩散方程.人们可以通过建立数学模型来描述现实世界,进而使之成为保护自然环境
分数阶微积分作为整数阶微积分在其阶次上的任意推广,在物理、化学、生物、工程等领域表现出强大的优势和广泛的应用前景,分数阶系统是通过基于分数阶微积分的相关理论知识和
客观世界是多维度的,其中非常重要的一个维度,就是时间维度,在智慧城市中能体现时间维度是实时数据,包括互联网实时感知数据和物联网实时探测数据等。没有实时数据的支撑,在此基础上做出的决策往往科学性、实时性不足,导致决策不能有效指导实际生活工作。交通监控视频是智慧城市数据中重要的动态实时数据,通过对交通监控视频进行定位和拼接,使其在三维GIS平台中进行客观世界的动态还原,具有重要的应用和研究意义。交通监