超BCI/BCK-代数上的态

来源 :西北大学 | 被引量 : 0次 | 上传用户:yunpiaosifang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
态理论是为了研究模糊逻辑中一个命题真值的平均度而引入的.1995年,学者Mundici提出了MV-代数上态的概念.本文将研究超BCI/BCK-代数及其商结构上的态,所做的具体工作有以下几个方面:一是引入超BCK-代数上态的概念.通过定义有界超BCK-代数(H,。,0,e)上非空子集A的态s:s(A)=inf{s(t)|t∈A},给出inf-Bosbach态的概念,讨论了它的基本性质,并且给出了等价刻画,即(H,o,0,e)上的一个满足条件s(e)=1的映射s:H→[0,1]是H上的inf-Bosbach态的充要条件是对于任意的x,y∈H,都有s(x∨y)=s(y∧x)和x《y(?)s(yox)=s(y)-s(x)同时成立.二是研究有界商超BCK-代数上的态.首先由正则同余θ构造了商超BCK-代数H/[0]θ基于此,将(H,o,O:e)上的臼一相容inf-Bosbach态s诱导至H/[O]θ其次,通过定义o-相容正则同余θ,证明了商结构H/[O]θ是一个有界可换BCK-代数.最后,还引入了超BCK-代数上的超测度、超态射等相关概念,给出它们的一些基本性质,并且将超态射诱导至商超BCK-代数.三是进一步研究超BCI-代数、商超BCI-代数及其态.基于超BCI-代数的超原子和路径的定义,提出所谓好的超BCI-代数的概念.在超BCI-代数上引入正则同余关系,从而构造了商超BCI-代数.在好的超BCI-代数中引入inf-Bosbach态的概念,讨论了它的基本性质,并将其诱导至商超BCI-代数.
其他文献
在古典分析中讨论函数的连续性和可微性是一项重要内容,自从Weierstrass构造了连续不可微函数之后,越来越多的数学家开始致力于构造此类新的函数,并对其性质进行研究.借助含
硫酸作为一种重要的无机化工原料,在工业中主要采用接触法制备。SO_2催化氧化是硫酸制备过程中的关键步骤。该放热反应的平衡常数和转化率随温度的升高而降低。SO_2转化率的高低,不但影响硫酸的产量和成本,而且对减少环境污染也具有十分重要的意义。本文采取添加稀土元素La,Ce对钒催化剂及氧化铁催化剂进行改性,增强钒催化剂的储氧能力,提高钒催化剂和氧化铁催化剂催化氧化SO_2的活性。使用N_2物理吸附/解
交叉数是图论的一个分支,有很多应用,譬如电路板设计、生物工程DNA的图示等等。许多重要的结果已经被发现,主要集中在平面上交叉数的问题。然而关于非平面曲面上图的交叉数问
将永磁材料分散在高分子基体中制备得到的磁性高分子复合材料具有非常广泛的应用。文献调研表明,基于热塑性高分子基体且具有各向异性磁取向结构的永磁/高分子复合材料尚未见
本文主要是对辫群Bn的(左)有序性进行综述,列出了三种较为经典的证明Bn是(左)有序群的方法。辫群Bn的(左)有序性最初是由Dehornoy得到的,本文首先详细给出了Dehornoy定义Bn上
双循环半群是一类特殊的逆半群.本文从双循环半群上的同余关系出发,对双循环半群的结构与性质给出了具体描述.主要结果如下:1.从双循环半群上的一类同余出发,讨论了幂等元所在
通过数百年来对Gamma函数的系统研究,揭示了它具有一系列独特的性质,关于Gamma函数的问题,是数学领域内的一个十分有意义的课题.本研究在已有结论的基础上,深入地研究了Gamma
烟囱排污的采样、检测属于高空作业,一般在烟囱离地面40~80米的高处搭建采样平台,利用采样仪器对烟囱排放的污染物进行采样、并检测温度等参数。采样环境恶劣且部分排出的污染气体对人体有致命伤害,使用烟囱排污采样机器人代替人工采样非常有必要。随着科技的不断发展,机器人在工业领域内的使用日益广泛。精度是机器人的一项非常重要的性能指标,机器人的工作水平受其精度高低的影响。如何提高工业机器人的位姿精度问题受到
线性递推序列中特殊数的相关问题一直是数论研究的重要内容之一.国内外许多学者对该问题进行了深入的研究,并且获得了丰硕的研究成果.1996年,P.Ribenboim和W.L.McDaniel研究
目的:运用“中医传承辅助平台”软件,对王伟明教授治疗慢性胆系疾病处方进行整合、数据分析,发掘王伟明教授在治疗慢性胆系疾病中的用药规律,以期将王教授临床经验得以继承和发扬,更好地应用于临床。方法:搜集王伟明教授治疗慢性胆系疾病(慢性胆囊炎、胆囊息肉、胆石症)相关的中医处方,建立数据库,以中医传承辅助平台系统(V2.5)为依托,进行数据整合、分析、挖掘,获取王教授临床治疗慢性胆系疾病用药规律。结果:搜