收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

与剩余格相关的几类逻辑代数系统的研究

周湘南  
【摘要】: 自从布尔代数作为经典二值逻辑所对应的代数系统被提出以来,各种不同逻辑系统所相应的代数系统受到研究人员的广泛关注,并取得了大量的研究成果。例如,与Lukasiewicz连续值逻辑系统相匹配的MV-代数,由Hájek所提出的与基础逻辑(Basic Logic)系统相匹配的BL-代数,与直觉主义命题逻辑系统相匹配的Heyting代数以及与王国俊教授所提出的形式逻辑系统L~*相匹配的R_0代数,量子逻辑的代数模型正交代数、效应代数等等。这些与逻辑系统相匹配的代数系统统称为逻辑代数系统。不同的逻辑代数系统之间存在着千丝万缕的联系。如MV-代数,BL-代数,R_0代数等等都与一个共同的结构—剩余格结构有着紧密的联系,换言之,这些代数都是剩余格的子类。鉴于此,本文旨在对几类与剩余格相关的逻辑代数系统的结构、性质和关系等进行考察,以进一步深化和拓展逻辑代数系统的研究。 另一方面,自1994年效应代数作为一种新的量子逻辑结构被提出以来,其研究受到了众多研究者的关注。特别地,随着对效应代数研究的逐步深入,部分代数的研究重新激起了研究者的兴趣,大量与之相关的研究成果被获得。本文基于对部分代数结构和剩余格结构的兴趣和了解,结合已有的研究成果,提出了一种新的部分代数结构,称之为部分剩余结构,并初步研究了该结构的基本性质、结构及其与量子结构的关系。 本文内容共分为四个部分: 第一部分包含第一章,主要是综述近年来逻辑代数系统研究的主要方向以及研究进展,着重介绍本论文所涉及的几类逻辑代数。 第二部分包含第二章和第三章,主要研究部分剩余格的性质和结构。第二章通过定义部分伴随对,引入了部分剩余格的概念。研究了部分剩余格的基本性质。特别考察了部分剩余格与格效应代数的关系,指出格效应代数是一种特殊的部分剩余格并得到了部分剩余格成为格效应代数的一个充分必要条件。最后在非交换的情形下进行了类似的讨论。第三章研究了部分剩余格的基本结构。主要讨论了部分剩余格的子结构、乘积结构和商结构。给出了部分剩余格之间的同态映射、子部分剩余格、部分剩余格的直积和滤子积以及部分剩余格上的同余关系等定义。证明了全体部分剩余格构成一个强代数簇。 第三部分包含第四章,主要是针对R_0代数进行研究。首先通过研究R_0代数的布尔元,给出了R_0代数的一种直积分解,推广了原有的结论。接着引入了相对于交闭系统的分式R_0代数的概念,研究了R_0代数上的Gabriel滤子,证明该滤子可以确定R_0代数上的一种同余关系,为进一步研究R_0代数的局部化奠定了基础。通过总结R_0代数上滤子的基本性质,讨论了R_0代数的谱空间,得出R_0代数的谱空间是紧T_0空间,其极大谱空间是紧Hausdorff拓扑空间。最后综合上述讨论,给出了R_0代数的弱布尔积和布尔积的概念,并研究了R_0代数的布尔表示。 第四部分包含第五章,主要研究有界交换的Rl-幺半群的局部化。通过定义有界交换的Rl-幺半群上的与Gabriel滤子F相关的F-积化子,得到了有界交换的Rl-幺半群关于F的局部化的定义。最后给出了局部化的一些应用。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 朱永庚;;模糊集各种差运算的代数结构[J];陕西师范大学学报(自然科学版);1986年03期
2 赵英;张成业;;STEINER 3—系的代数结构[J];山西师范大学学报(自然科学版);1989年02期
3 胡世华;递归结构——Ⅰ.可解决性理论[J];中国科学A辑;1990年11期
4 成青松;董文娟;;二面体群上的Hopf Ore扩张及其代数结构[J];淮海工学院学报(自然科学版);2009年03期
5 王春艳;;环的反同态性质的研究[J];齐齐哈尔大学学报(自然科学版);2010年02期
6 朱功勤,檀结庆;Pade样条的代数结构及若干性质[J];安徽工学院学报;1994年04期
7 傅景礼;相对论性Birkhoff系统动力学方程的代数结构与Poisson积分方法[J];数学物理学报;2001年01期
8 唐再良;;对范德瓦尔登《近世代数学》著作的研究[J];绵阳师范学院学报;2006年05期
9 武同锁;卢丹诚;;一类Z—局部环的结构[J];中国科学(A辑:数学);2006年08期
10 宋元军;王顺金;王庆武;杨富;;代数结构破缺对几何相位的影响[J];四川大学学报(自然科学版);2007年01期
11 徐斌;;一个具有几何背景的实数系统[J];思茅师范高等专科学校学报;2008年06期
12 刘东昌;Fuzzy锁代数[J];模糊系统与数学;1989年02期
13 刘焕文;双周期样条函数空间■_2~1(Δ_(mn)~((2)))的代数结构[J];高等学校计算数学学报;1990年04期
14 杨良准,余荣泮,莫宇翔,王成瑞;交替烃代数结构计数的研究[J];中南民族学院学报(自然科学版);1995年01期
15 刘荣万;一般非完整非保守系统相对运动动力学方程的代数结构及其Poisson理论[J];江西科学;1998年02期
16 徐贵桐,郭聿琦;高等代数教材编著上的若干新尝试(续)[J];高等理科教育;2002年02期
17 郝三如;;静轴对称自对偶Yang-Mills场的隐对称及其代数结构[J];高能物理与核物理;1993年06期
18 黄万徽;代数结构在计算机设计中的应用[J];高等函授学报(自然科学版);1995年01期
19 刘文芬;环Z_(p~r)上平衡相关免疫多值逻辑函数的代数结构分析[J];高校应用数学学报A辑(中文版);2001年01期
20 徐斌;;反群及其结构[J];玉溪师范学院学报;2008年12期
中国重要会议论文全文数据库 前10条
1 许格妮;;可交换的s代数[A];第十二届中国青年信息与管理学者大会论文集[C];2010年
2 徐晓泉;李渝萍;;完备格的代数结构与完备格上的内蕴拓扑[A];中国中南地区模糊数学与系统分会第二届年会论文集[C];1993年
3 李树荣;;控制系统的代数结构[A];1998年中国控制会议论文集[C];1998年
4 霍书全;鞠实儿;;SLO的代数结构[A];开放类逻辑论文集[C];2004年
5 王顺金;张华;;物理计算的保真与代数动力学算法[A];保结构算法2004离散变分和上同调及其在动力系统计算中的应用[C];2004年
6 樊恽;;小系数域上的幂零块的特征标[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
7 王明文;朱清新;卿利;;一种面向企业决策的门限群签名方案[A];2005中国控制与决策学术年会论文集(下)[C];2005年
8 孙兆豪;李昂;刘坤起;解建军;;论代数、逻辑和智能系统之间的对应关系[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
9 陈孟泉;;双参数量子群GL_q·s(2)的量子偶及其它[A];数学·物理·力学·高新技术研究进展——1998(7)卷——中国数学力学物理学高新技术交叉研究会第7届学术研讨会论文集[C];1998年
10 徐铁生;;控制系统功能描述网基标准模型新综合——Z网[A];1994中国控制与决策学术年会论文集[C];1994年
中国博士学位论文全文数据库 前10条
1 杨海龙;子效应代数的模糊化与粗糙集相关研究[D];陕西师范大学;2010年
2 花秀娟;格代数和效应代数上的新的不确定性理论[D];西北大学;2013年
3 伏文清;L-坡代数[D];陕西师范大学;2010年
4 戴星宇;Hecke代数以及相关代数的研究[D];浙江大学;2013年
5 郭建胜;效应代数及伪BL-代数结构的研究[D];陕西师范大学;2010年
6 林清水;效应代数上几类测度的若干研究[D];哈尔滨工业大学;2010年
7 侯波;(形变)预投射代数及其相关问题[D];北京工业大学;2012年
8 邓明立;有限域思想的历史演变[D];河北师范大学;2004年
9 戴清平;有限维多项式代数的结构、算法及在编码密码学中的应用[D];国防科学技术大学;2008年
10 赵利辉;乘子Hopf代数上的若干构造[D];浙江大学;2007年
中国硕士学位论文全文数据库 前10条
1 张坤利;效应代数上态与赋值的存在性研究[D];陕西师范大学;2012年
2 朱海东;图C*-代数的基本性质与K-理论研究[D];复旦大学;2011年
3 朱广文;DBR_0-代数性质及相关研究[D];陕西师范大学;2013年
4 王娜;WBR_0-代数的等价刻画及其弱化[D];陕西师范大学;2013年
5 王志明;WBR_0代数的研究[D];陕西师范大学;2011年
6 汤池武;两种代数结构中类似的Erd(?)s-Turán猜想的研究[D];安徽师范大学;2011年
7 闫艳艳;p53基因的代数结构及其应用研究[D];江南大学;2011年
8 王雷波;双重半伪补Ockham代数及其他[D];汕头大学;2009年
9 乐珏;带弱内射的Hopf代数结构[D];扬州大学;2003年
10 罗永龙;基于T-函数序列的代数结构与分布性质[D];解放军信息工程大学;2009年
中国重要报纸全文数据库 前1条
1 中国数学会理事 李文林 教授;数学老树的繁茂新花(上)[N];中国教育报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978