【摘 要】
:
逻辑代数是各种逻辑系统研究的一个重要方向,就是用代数的方法研究逻辑问题.目前已有多种成熟的逻辑系统建立.王国俊教授以(?)*-Lindenbaum代数为背景建立了R0代数.R0代数一经建立便受到众多学者关注,其中一个焦点就是R0代数的结构.要研究一个代数系统的结构,很自然的一个出发点就是从该代数中的元素着手,已有众多成果产生:韩诚、吴恒洋利用真布尔元、中点、R0代数的根等概念集中探索了非全序R0代
论文部分内容阅读
逻辑代数是各种逻辑系统研究的一个重要方向,就是用代数的方法研究逻辑问题.目前已有多种成熟的逻辑系统建立.王国俊教授以(?)*-Lindenbaum代数为背景建立了R0代数.R0代数一经建立便受到众多学者关注,其中一个焦点就是R0代数的结构.要研究一个代数系统的结构,很自然的一个出发点就是从该代数中的元素着手,已有众多成果产生:韩诚、吴恒洋利用真布尔元、中点、R0代数的根等概念集中探索了非全序R0代数的存在性及其结构;朱怡权用布尔可补元对R0代数的结构做了分解;其他代数系统上亦有基于元素特性展开的研究.本文便是从R0,代数的两类特殊元素着手,对R0代数展开研究,主要工作如下第一章预备知识.这部分主要介绍了本文的背景知识.第二章研究了R0代数中的幂等元,探索了幂等元的应用.给出幂等元和幂等映射的概念.讨论了幂等元的性质,并得到幂等元诱导的左映射是幂等映射这一重要结论,接下来用幂等映射的像集合与映射核对R0,代数展开分解.第三章研究了R0,代数中极小元与R0代数的直和分解.给出极小元的概念,探索了极小元存在的条件,并利用极小元对一类特殊R0代数即Artinian的强R0代数展开直和分解.本文的基于R0代数的两类特殊元素的讨论,并对R0、代数展开分解,使得R0代数的结构更加明了.
其他文献
L-预拓扑空间是L-拓扑空间的推广.本文对L-预拓扑空间中一些近似L-开集(其中L是有逆合对应的C-格)的若干性质、以及与近似L-开集有关的连通性和范畴性质做了较为深入的研究.其主要内容如下:第1章预备知识.主要介绍了本文所涉及的L-预拓扑空间和范畴理论的相关概念与结论.第2章L-预拓扑空间中的近似L-开集.首先在L-预拓扑空间中定义了θ-L-开集、δ-L-开集、α-L-开集以及β-L-开集,给出
猪塞内卡病毒病是由塞内卡病毒引起的猪传染病。自2015年广东省、湖北省某些大型规模化养殖场发生此病以来,逐渐被重视,并由南向北不断扩散。本病由国外传入,是一种跨境动物疫病,已对我国养猪业造成了一定影响,但其受到的关注远远不够。感染病猪出现水泡症状、新生仔猪高死亡率,会对养殖场户造成较大经济损失。因此本文从猪塞内卡病毒病的流行病学、临床症状、防控措施等进行浅述,以供生猪养殖者及技术人员参考。
黄土高原由于自然和人为等原因,长期以来水土流失现象严重,其生态系统处于极度退化的状态,资源环境的治理和保护就显得尤为重要。植被是改善生态环境、促进生态良性循环的基础。植株间的竞争关系是影响植株生长的主要因素。柴松(Pinus tabulaefirmis f. shekanensisrao)是黄土高原优势树种油松(Pinns tabulaeformis)的生态变异型,具有优于油松的多种优良性状。对柴
蝗总科是直翅目昆虫中最大的一个类群,其种类多,分布广,且有许多种类是农牧业生产的重要害虫,有着非常重要的经济意义。关于蝗总科(Acridoidea)昆虫的科级分类的问题,一直存在着争议,其也是直翅目(Orthoptera)昆虫系统发育研究中的一大热点。蝗总科各科之间的系统发育关系,长期以来前人从各个层面上都做过一些研究,如形态学、细胞学和分子生物学等方面,但是总体来说研究的还不够深入,依然存在着很
近年来,国内外相继在实验室开展的超声波声空化效应降解水中有机污染物、处理污染水体的研究取得很多进展,尤其是对难降解有机污染物,声空化降解显示了简捷、快速、降解率高等特点。国内外声空化研究者把探讨和研究声波处理大流量液体的方法聚焦在流体动力式发声器。已有的大量研究证明,流体动力装置产生的空化与电动式超声空化对过程的强化原理是相同的,区别在于形成空化的方法和手段上。簧片哨是利用液体作为动力源的声换能器
随着电子技术的发展以及人工智能的出现,对模糊逻辑和逻辑代数的研究已经成为当前学者讨论的热门话题,并且取得了一系列的科研成果.王国俊教授建立了R0-代数,吴洪博教授通过对R0-代数的研究,提出了BR0-代数以及WBR0-代数.本文通过对WBR0-代数的研究,讨论了WBR0-代数的性质及其与正则剩余格的等价性.本文的结构和详细内容安排如下:第1章预备知识.本章给出了文章中将要用到的格,正则剩余格,BR
算子代数理论产生于20世纪30年代,是一门比较年轻的学科.它与量子力学,线性系统,非交换几何,控制理论,数论以及其他一些重要数学分支都有着非常密切的联系和渗透,伴随着它在其他学科的应用,这一理论已成为现代数学的一个热门分支.为了进一步探讨算子代数的结构,近年来,国内外很多学者都已经对算子代数上的映射进行了深入研究,并不断提出新思路.例如Jordan映射,零点广义可导映射,高阶导子,高阶Jordan
本文,首先介绍了Banach空间中的XdBessel列、Xd框架、Xd—Bessel列、Xd-框架、p阶框架的概念,其次,给出了Xd Bessel列Xd—Bessel列的等价刻画,并系统地研究了Xd Bessel列和Xd—Bessel列的性质.接着,探讨了Xd框架和Xd-框架的存在性,并运用算子理论的方法研究了Xd框架的扰动.最后,对p阶框架的超出量进行了系统的研究.全文共分四章,各章主要内容如下
自从Zadeh于1965年在Information and Control上发表了著名论文"Fuzzy sets",模糊集理论已经在越来越多的具体领域,比如:模式识别、决策、信息融合、医疗诊断、优化控制,得到了广泛而深入的研究且发挥着重要的作用.为了使模糊集理论有着更广泛的应用,人们随后提出了模糊集的各种推广.其中,Atanassov提出了直觉模糊集.它的主要特征是给每个元素设定了隶属度和非隶属度
θ-开集和δ-开集是特殊的开集.本文以此为基础,引入θ-空间、δ-空间、弱θ-连续映射、θ-连续映射、强θ-连续映射、弱δ-连续映射、δ-连续映射、强δ-连续映射等概念并讨论它们的一些相关结果.证明有关θ-开集和δ-开集的一些范畴性质.另外,给出无底闭包空间、代数闭包空间及推理闭包空间的定义.证明有关它们的一些范畴性质.论文的要点及主要内容如下:第1章预备知识.主要介绍本文所涉及的θ-开集、δ-开