基本逻辑代数的若干专题研究

来源 :西北大学 | 被引量 : 1次 | 上传用户:glx19891006
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
非经典逻辑包含多值逻辑、模糊逻辑等,它常用于处理具有模糊性、随机性等方面的不确定问题.在模糊逻辑中,要为模糊推理建立逻辑基础必须建立严密的模糊逻辑演算体系,这些工作的完成需要代数逻辑方法的支持.代数逻辑的研究着重两点:一是研究与逻辑体系相关的代数系统,二是建立逻辑体系及其匹配代数系统之间的关联.通过代数方面的研究解决逻辑方面的问题,或者用逻辑方法解决代数问题.本文主要从代数的角度出发研究基本逻辑,主要考虑BL-代数、SBL-代数和SBL(?)-代数的子结构及其不确定性理论.本文的工作主要有以下几个方面:(1)研究了BL-代数、SBL (SBL)-代数的滤子理论.引入了与特殊BL-代数相对应的ⅡⅡ-特殊滤子,讨论了它的延拓性以及它与商特殊BL-代数的关系.通过SBL-代数性质的讨论,证明了若由BL-代数L的完全滤子F诱导的商L/F是SBL-代数时,则F是L的整滤子,从而一定程度上解决了Borzooei和Paad留下的公开问题.在给出与SBL-代数配套的严格滤子后,我们阐述了严格滤子与其它类型的滤子的关系.此外,研究了SBL,-代数的(?)-滤子的性质,给出了(?)-滤子的一些刻画.同时,我们引入了共轭零化子和(?)-滤子的根的概念,并使用共轭零化子和生成滤子给出了,-滤子的一个表示形式.(2)研究了BL-代数的关联理想和SBL,-代数的理想.在BL-代数上引入了伪蕴含运算,证明了BL-代数L的非空子集I是理想当且仅当对任意的x,y∈I,L(x,y)(?)I借助伪蕴含运算引入了关联理想的概念,给出了关联理想的一些等价刻画.通过分析关联理想的等价刻画,证明了关联理想和Boolean理想是一致的.运用关联理想建立了BL-代数和Godel代数之间的关联.在SBL(?)-代数上引入了(?)-理想的概念,指出了(?)-理想一定是理想.(3)在BL-代数上研究了理想的模糊结构和软结构理论.研究了BL-代数理想的广义形式—(∈,∈Vq)-模糊理想和落影模糊理想,给出了它们的一些等价刻画.运用滤子化的BL-代数,构造了模糊子半环.借助落影理论,讨论了BL-代数的模糊关联理想,不但建立了落影模糊理想和模糊理想的关系,而且给出了落影模糊理想的一些等价刻画.为了研究软BL-代数的模糊理论,我们首先在环中引入(λ,μ)-软并环,运用不变软集讨论了(λ,μ)-软并环的同构定理.以此为基础,我们引入了软BL-代数的模糊理想,并运用软同态给出了软BL-代数的模糊同构定理.
其他文献
本文主要完成了在流体力学中应用广泛的一类高阶非线性薄膜方程的李对称群分析,得到了方程的不变群、最优系统以及一些具有特定物理意义的相似解;此外利用不变子空间方法还研究了具有一般形式的三阶非线性微分算子及带有对流项和源项的非线性交叉扩散方程组,得到了它们在各自所容许的不变子空间中的完全分类.所作的工作具体如下:1.运用经典李群方法研究了2m阶非线性薄膜方程,得到相应的李点对称群、优化系统和群不变解,然
本文主要研究了解析数论中一些著名和函数的算术性质,这些和函数包括广义Kloosterman和、Dedekind和、Gauss和、两项特征和及多项式的Dirichlet特征,并利用解析方法研究了这些和函数及其混合形式的均值计算问题.此外本文还利用生成函数的方法及组合技巧研究了Apostol-Bernoulli多项式、Apostol-Euler多项式、(p,q)-Fibonacci多项式和(p,q)-
设S是半群,P(S)是由S的所有非空子集所构成的集合.则P(S)关于自然定义的乘法构成一个半群,称之为S的幂半群(或整体).设κ是半群类.如果κ中任意两个半群的幂半群同构蕴涵这两个半群也是同构的,那么称κ为整体决定的.本文我们研究正规纯整群(即:矩形群的强半格)与幂等元半群(即:带)的幂半群.特别地,我们证明了正规纯整群类和具有正则整体的半群类是整体决定的.
各种逻辑代数是做为非经典逻辑的语义系统被提出的,其中剩余格是一类最基本的模糊逻辑代数,几乎所有的子结构逻辑都是以它为基础来建立相应代数语义的.本文研究剩余格上的态算子、导子和超MV-代数上的态理论,尝试刻画几类特殊剩余格的代数结构,为研究子结构逻辑中的概率问题提供更一般的代数方法,表示更多模糊事件真值的平均度.研究的主要内容如下:1.第二章研究了剩余格上的态算子.首先,建立了一类意义较广的具有内态
陶瓷材料具有耐高温、耐酸碱、高强度等优点,因此广泛应用于各个工业领域。然而,传统制备陶瓷的方法成本较高(烧结温度高、烧结时间长、二次加工难、制备能耗大),限制了陶瓷的应用范围。聚合物转化陶瓷(PDCs,Polymer Derived Ceramics)良好的可设计性、工艺性和低温陶瓷化等特性,使其在制备纤维、复合材料、涂层和薄膜等应用中大有前景。聚合物转化陶瓷技术作为一种革命性创新工艺,可以有效改
主要部分研究讨论非纠缠量子关联在多体量子系统中的分配规律,以及量子关联在量子临界体系中的行为与量子相变的关联。通过考虑monogamy不等式及monogamy deficit,给出quantum discord, global quantum discord, one way quantum discord等典型量子关联在多体量子系统中的分配性质及相互之间的关联。另外,通过对于global qua
纳米团簇作为构成物质的原子分子和凝聚态物体之间的中间态,研究它的结构及性质有助于更好的理解原子分子等微观粒子及凝聚态固体等的结构及性质。而且它在表面科学、材料科学甚至核物理、天体物理、大气物理中部有所应用。对团簇的结构稳定性及其性质的研究成为开发新型材料的理论技术基础。碱金属锂及其掺杂团簇作为一种功能特殊的新型材料,因其在燃烧、催化、晶体生长、成核、凝固、相变、光学等方面的广泛应用,成为科学家们关
近年来,由于掺杂碳团簇在星际空间被发现以及它们中的一些已经能在实验室中被合成而且它们大多数在正常情况下能稳定存在,所以实验和理论物理学家们迅速对这一领域的研究产生了极大的兴趣。而且掺入杂质原子,会导致碳原子团簇本身结构、电子特性以及物理化学性质发生很显著的变化,这使得这一领域的研究显得更为必要。此外,对掺杂碳团簇详细的研究将有助于我们理解它们的稳定性,揭示它们的形成机理,进而引导能我们去发现和使用
《针灸学》统编教材是我国针灸教育中影响最大的规划教材,它建立了系统的“经络腧穴、刺法灸法、针灸治疗”的理论框架结构,形成了较为稳定的针灸学科知识体系。刺法是针灸学的重要组成部分,是连接“经络腧穴”和“针灸治疗”的重要桥梁之一,既有自身的理论体系,又是一项注重实践运用的技术。通过检索“针灸”、“教育”、“教材”、“教学”、“刺法”和“知识体系”等关键词,发现近年来学界对针灸教育多有关注,文献研究纵贯
低维纳米材料的出现极大地推动了纳米电子设备(如场效应晶体管和纳米自旋电子器件)的发展。组装高性能的新型纳米场效应晶体管(FET)要求所采用的二维纳米材料同时具有较高的载流子迁移率、合适的带隙值和良好的热稳定性(大气氛围下)。而组装新型纳米自旋电子器件则要求所采用的一维纳米材料具有可调控的电磁性能。原始的(1L-BN、1L-AlN和1L-GaN)和饱和功能化的二维单层ⅢA族氮化物具有有限的本征带隙值