正则剩余格的*-理想及其性质

来源 :扬州大学 | 被引量 : 0次 | 上传用户:fleur0512
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在逻辑推理系统和逻辑代数系统的研究中,理想和滤子是两个重要的概念和工具.本文在剩余格上引入*-运算并使用代数工具和拓扑学方法,对正则剩余格上的与*-运算有关的各种理想进行研究并建立逻辑、代数和拓扑的联系。 第一章,介绍了有关偏序、蕴涵算子、拓扑和剩余格及理想方面的概念和相关结论。 第二章,在剩余格上定义了*-运算,研究了正下则剩余格及其*-运算的若干性质,进一步探讨了带有*-运算的正则剩余格与其它逻辑代数,如BCK代数,格蕴涵代数,预线性剩余格等之间的关系.证明了任一带有*-运算的正则剩余格都是有界BCK代数,给出了带有*-运算的正则剩余格成为格蕴涵代数和预线性剩余格的充分条件。 第三章,在带有*-运算的正则剩余格上定义了*-理想和准*-理想,研究了他们的性质及相互关系,证明了所有的*-理想一定是准*-理想,并用例子说明该定理的逆不必成立.得出了*-理想的如下综合刻画定理:正则剩余格L的非空子集I为*-理想当且仅当下列五组条件之一成立:(1) Aa,b,c∈L有(i) O∈I,(ii)如果a*b∈I且b*c∈i.则a*c∈I;(2) Aa,b,c∈L有(i) O∈I,(ii)如果a*b∈I且b()c∈I.则U a()c∈I;(3) Aa,b,c∈L有(i) O∈I,(ii)如果b*a∈I且c→a∈I.则c→b∈I;(4) Aa,b,c∈L有(i) O∈I,(ii)如果b*a∈I且b→c∈I.则a→c∈I;(5) Aa,b,c∈L有(i)O∈I,(ii)如果an*b∈I且(b*c)*- am∈I,则am+n*c∈I.其中a2—a()a,am+n=am()an,a0=1。 第四章,讨论了带*-运算的正则剩余格上的同余关系和素*-理想,研究了素*-理想的性质,在满足一定条件的正则剩余格L的全体素*-理想之集*PI(L)上定义了一个拓扑T,并称为素*-理想拓扑,证明了拓扑空间(*pI(L),T)是紧T0拓扑空间,并给出了(*pI(L),T)成为T1拓扑空间的充要条件。
其他文献
我国当前中学物理教学中存在忽视学生科学素质培养的现象,如何培养中学生物理科学素质成为最关键的问题,初中物理教师应该着重考虑物理素质教育,掌握教学方式,培养学生的自主学习
江苏省靖江市近年来在东兴镇惠圣村试验鲜食玉米轮作大白菜栽培模式,有效地提高了土地产出率,每亩产鲜食玉米棒900公斤、大白菜5000公斤,亩产值达1.3万元左右。该模式茬口安
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
本文主要在不同的空间框架下讨论几类算子不动点的迭代逼近问题,研究其算法设计、算法的收敛性以及它们在变分包含问题中的应用。同时,我们利用逼近理论和方法研究了一类多个多
随着社会经济的发展,企事业单位对专业会计人员的需求量逐渐加大,因此会计从业资格证考试也成了社会上人们的证书考试之一。本文主要分析会计从业资格考试考前教学辅导出发,分析
近三十年来,Banach空间几何理论作为Banach空间理论的重要内容之一被许多专家学者广泛研究,但是作为Banach空间直接推广的n-Banach空间理论的发展却相对缓慢.众所周知,Banach空
分析了带钢连续处理机组中带钢焊缝通过出口段月牙剪和切边剪区域时的速度控制模式,根据机组需要、月牙剪和切边剪投入状况,以及前后带钢宽窄变化等条件,研究了几种典型的速
科学与工程的许多问题具有散逸性,即系统具有一个有界吸引集,从任意初始条件出发的解经过有限时间后进入该吸引集并随后保持在里面。散逸性研究一直是动力系统研究中的重要课题
在中职学校中,学生水平分化越来越严重,呈现出参差不齐的状况。计算机作为中职学校学习的一门重要课程,对其进行分层教学十分必要。分层教学根据学生水平的不同将其进行划分,学生
传统文化之一脉的中国书法艺术深受儒道两家的影响,儒家思想所倡导的“中庸”、“和谐”对书法之“技”的渲染,具有深刻的意义.从用笔、结构、章法的虚实相谐;阳刚、阴柔两种