相等代数上的modal算子和伪赋值

来源 :西北大学 | 被引量 : 0次 | 上传用户:you3880066
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
相等代数最初由S.Jenei提出,它是高阶模糊逻辑对应的逻辑代数.在非经典逻辑的研究中,modal-逻辑是一个重要分支.伪赋值理论在对逻辑代数结构的研究中起着关键作用.本文主要研究了相等代数上的modal算子和伪赋值理论.我们将用所得的成果来完善相等代数中的相关理论,为其他代数结构的研究奠定一定的理论基础.主要研究内容如下:首先,我们在相等代数上引入了modal算子并研究了相关的性质,同时给出了剩余相等代数上的映射成为modal算子的等价刻画.进一步我们定义并研究了 modal滤子和modal同余,并得到它们之间存在一一对应关系.通过modal强滤子,我们构建了一致结构,进而得到了一个拓扑,最后证明modal相等代数和一致拓扑构成一个拓扑modal相等代数.其次,我们在相等代数上引入了伪赋值和(正)关联伪赋值的概念,研究讨论了他们之间的关系,并给出了实值函数成为伪赋值的条件.最后,我们得到了伪赋值和滤子之间的关系,并利用伪赋值诱导了一个同余关系,由此诱导了一个商代数.具体结果如下:(1)设E是一个剩余相等代数,f:E→E是E上的映射.f是E上的moodal算子当且仅当对任意的z,y∈E,x→f(y)=f(z)→f(y),f(x~y)≤f(x)~f(y).(2)在modal相等代数中,modal滤子和modal同余之间存在一个一一对应.(3)(E,f)是modal相等代数且∑是一簇强modal滤子,则((E,f),T∑)是拓扑modal相等代数.(4)在相等代数上研究了伪赋值和几类不同的伪赋值,并得到了一个伪赋值φ是正关联伪赋值当且仅当φ((x八(z→y))→y)=0;一个伪赋值φ是关联伪赋值当且仅当φ(x)=φ((z→y)→x).(5)给出了相等代数上实值函数成为伪赋值的条件即:φ是E上的伪赋值当且仅当对任意的z,y,z,∈E,脱x≤→z,则φ(z)≤φ(x)+φ(y).(6)由伪赋值诱导的二元关系≡φ是相等代数上的一个同余关系。
其他文献
由于四唑环与呋咱环的结合,使得HAFT(4-氨基-3-(5-四唑))不仅拥有了酸性质子而且改善了氧平衡和爆轰性能,使化合物综合了两个环的不同优点。因此,本论文以HAFT为基础,合成了它的
随着我国大力发展绿色经济,环境保护在人们生活中的重要性日益凸显。贵州这个曾经被新闻报道形容为“贫穷落后、穷山恶水”的省份,如今依托其独特的气候条件和丰富的自然资源
《赛音巴雅尔长篇小说<心灵的神马>研究》论文由绪论、正文、结论三大部分组成,正文由三章组成。第一章《长篇小说<心灵的神马>的主题思想》;第二章《长篇小说<心灵的神马>的文化内涵》;第三章《长篇小说<心灵的神马>的创作手法》。《心灵的神马》是蒙古族现代作家赛音巴雅尔唯一一部长篇小说,小说的内容为主人公阿木尔赛音从日落到深夜站在西拉木伦河干涸的河槽边回想
基于本实验室前期报道的丁香醇提取物(alcohol extract of clove,AEC)显著抑制脂肪酸合成酶(FASN)表达,能够改善小鼠肥胖的研究结果,本实验进一步探索了丁香醇提取物抑制FASN表达及肥胖的关键活性成分。结果主要如下:(1)初步发现丁香醇提取物中的齐墩果酸(oleanolic acid,OA)发挥了抑制FASN蛋白表达的作用。首先采用硅胶柱层析法初步分离丁香醇提取物得到7种
《圣妙吉祥真实名经》是大乘佛教密宗主要经典,最初在古印度用梵文撰写,随着大乘佛教的北传被译介到藏文,后再从藏文翻译到蒙文。本文以蒙古文甘珠尔《圣妙吉祥真实名经》为研究课题,首先,在评述其研究历史、内容与文献价值的基础上主要探讨了蒙古文《圣妙吉祥真实名经》的翻译历史及其各种蒙译本之间的文献关系以及翻译活动和翻译家的历史贡献。其次,版本学的角度,分析比较蒙古文《圣妙吉祥真实名经》的各种译本后,阐明了搠
随着人们对于材料高性能、低成本的追求,当代科学技术的进步越来越离不开复合材料。复合材料可以使各种材料组分的性能最大化,并赋予它们在单一材料组分中不具备的优异特性。
为探索湖北省江汉平原机插水稻的适宜氮肥施用量,2017-2018年采用裂区设计以杂交水稻C两优华占、全两优681和常规稻黄华占为试验材料,研究了不同施氮量(0、135、180、225 kg/hm2)对机插水稻分蘖发生及成穗、群体生长、氮素利用效率以及产量形成的影响。结果表明:1.机插水稻单本栽插一次分蘖发生叶位为3/0-9/0,4/0-8/0是成穗优势叶位。二次分蘖以4/1、5/1和6/1叶位为优
前人对“风”的研究大多从语义结构、隐喻用法等角度进行,并未涉及“风”复合概念以及对复合概念的形式表征。本文是在语言单位概念框架理论、概念转喻理论指导下对英汉“风”框架中相同复合概念的形成、分类以及形式表征的认知研究。论文首先对英汉“风”框架中存在的相同复合概念进行分析、归纳和比较,发现相同复合概念的形成原因是人们具有相似的身体经验和认知特点。其生成的方式也有共同的规律性,即多是由风自身的特点出发,
配位聚合物(Coordination Polymers CPs,简称配合物)是一类由金属离子或金属簇与含有一定官能团的有机配体通过配位键自组装构筑的新型材料。配位聚合物的合成受到有机配体、金
剩余格是由美国学者Ward和Dilworth于1939年提出的一种非常重要且基本的代数结构.常见的逻辑代数如MTL-代数,BL-代数,MV代数,Heyting代数等都是特殊的剩余格.滤子理论在研究