DR0代数由De Morgan代数导出的正则剩余格.pdfVIP

第37_卷第瑚 数 学 进 展 V01．37，No．4 2008焦r8月 ADVANCESINMATHEMATICS Aug．，2008 DRo代数：由De Morgan代数 导出的正则剩余格 张小红+，魏萍 31521 (宁波大学数学系，宁波，浙江。 1) 摘要，首先讨论了DeMorgan代数与剩余格的关系，并引入强De Morgan代数的概念，讨 论了它的基本性质．随后，将著名的‰蕴涵拓广到De Morgan代数上，称为广义‰蕴涵；证明 了添加广义凰蕴涵和相应@算子后的De Morgan代数L成为剩余格的充要条件是L为强De Morgan代数．并由此引入D‰代数的概念．接着，研究了D‰代数与R0代数的关系，证明了 以下结论t Boole代数是DRo代数；全序DRo代数和全序‰代数等价；D凰代数是‰代 数当且仅当它满足预线性条件；无中点的D凰代数是BL代数当且仅当它是Boole代数．最后， 举例说明了非D凰代数的凰代数、以及非风代数的D凰代数都是存在的． 关键词：模糊逻辑；De Morgan代数；正则剩余格；DRo代数；强DeMorgan代数 MR(2000)主题分类z 0141．1 03850；06D99；06F99／中图分类号- 文献标识码：A 文章编号：1000-0917(2008)04-0499—13 剩余格与De Morgan代数都是与非经典逻辑(特别是模糊逻辑)密切相关的代数结构．一方 面，剩余格理论是研究非经典逻辑的重要工具，比如近年引入的模糊逻辑形式系统L。，BL，MTL 等均与特殊剩余格相关联1t-61；同时剩余格既具有代数结构又具有序结构，因而成为多个数学分 支的研究课题(这也造成其定义的多样性，比如[7】中所谓。可换剩余格”CRL与通常意义下 的剩余格【3】不同，它不要求有界且单位元e并不一定是最大元1．另外，文献[8】中指出剩余 intuitionisticlinear 格的另一名称叫integral algebra，它源自直觉线性逻辑)．另一方面，早在 1935年，G．C．Moisil就研究了De Birula， H．Rasiowa和J．A．Kalman开始研究De 拟Boole代数[9,10】，而模糊集理论的创立为DeMorgan代数找到了强大的实际背景；同时，与 De 的De Morgan代数，因为它要求是完备的完全分配格)．由于剩余格和DeMorgan代数都有模 糊逻辑的实际背景，研究它们之间的关系就是非常自然的问题了，本文将就此做深入的探讨． 本文主要研究两方面的问题，其—是研究剩余格在什么情况下构成DeMorgan代数，即在 仅考虑剩余格的序结构及非运算“，”(其含义是、口=a—o)的情况下，剩余格成为DeMorgan 收稿日期·2006-06-01．修改稿收到日期，2006-11．21． 浙江省自然科学基金资助项目(No．Y605389)；宁波市青年基金资助项目(No．2005A620032)． E-mail：·zxhonghz@163．net 万方数据 数 学 进 展