可换BR0代数的刻画和性质.pdfVIP

第15卷第1期 扬州大学学报(自然科学版) V01．15NO．1 of ScienceEdition) Feb．2012 2012年2月 Journal YangzhouUniversity(Natural 可换BRo代数的刻画和性质 凌雪岷1’2，徐罗山¨ (1．扬州大学数学科学学院，江苏扬州225002；2．安徽新华学院公共课教学部，合肥230031) 摘要：为了得到基础凡代数(简称B＆代数)的更多表示和性质，利用蕴涵算子给出了可换B＆代数的 两种形式更为简单的刻画；证明了可换B＆代数与有界可换BCK代数之间的等价性；证明了满足 Heyting性质(HP条件)的可换B＆代数与正则Heyting型FI代数(即HFI代数)等价． 关键词：可换B＆代数；有界可换BCK代数；正则HFI代数 中图分类号：O141．1 文献标志码：A 文章编号：1007—824X(2012)01—0001—04 模糊逻辑的研究包括模糊逻辑系统的逻辑演算的语法、语义和代数问题．在对模糊逻辑的研究过 程中，人们发现每一种模糊逻辑系统都与一个逻辑代数相对应．例如，与Lukasiewicz连续值逻辑系 统相匹配的是MV代数[1]，与HAjEK[2]提出的基础逻辑(basiclogic)系统相匹配的是BL代数；与 直觉主义命题逻辑系统相匹配的是Heyting代数『31；与王国俊H。51提出的形式逻辑系统L。相匹配的 是民代数；因此，探讨各种逻辑代数系统已成为模糊逻辑研究中很重要的课题．在国内外学者的探 索和研究下，包括上述几种代数在内的大量逻辑代数应运而生．1966年，日本数学家ISEKI[61从命题 演算系统的代数公式化角度提出了BCK代数．吴洪博]将民代数定义中去掉最后一个条件，提出 了基础R代数(又称B＆代数)，随后的研究又得到许多有意义的结果[s-93．本文的目的是研究可换 B＆代数，考虑到BR。代数是逻辑蕴涵代数，因此尝试尽可能多地使用蕴涵算子建立可换BR。代数 形式更简单的刻画，并利用这些刻画获得可换BR代数的更多性质，同时探讨可换BR。代数与有界 可换BCK代数[6’1们之间的关系，证明在一定条件下它们是等价的．由这些结果可进一步认识和把握 众多逻辑代数系统的共同本质特征． 1 预备知识 下面给出可换B＆代数、有界BCK代数、正则HFI代数的基本概念和结果，其他未指明的概念 和结果请参见文献[4，7]． 定义1．1E7]565 设L是(1，V，一)型代数，如果L上有偏序≤，使得(L，≤)成为有界分配格， V是关于序≤的上确界运算，-1是关于序≤而言的逆序对合对应，且Vz，Y，zEL，以下条件成立： (R1)．1z一1，一Y—z；(R2)1一工=z，z—z=1； (R4)z一(y—z)=y一(z—z)； (R3)，42≤(z—y)·(z÷z)； V (R6)z—yA2=(z’了)^(z—z)， (R5)z—Y2=(z—y)V(z十z)； 这里1是L中最大元，并且记O=-1，飞=z—O，那么称L为基础Ro代数，简称BR。代数． 以下常用口’表示1口，又由运算7为逆序对合对应知在BR代数中DeMorgan对偶律成立，即 b7． V (口V6)7=口7^b7，(n^6)7=口7 收稿日期：2011一07～03 *联系人，E—mail：luoshanxu@hotmail．corn 万方数据 2 扬州大学学报(自然科学版) 第15卷 定义1．2E巾 换BRo代数． 定义1．3t巾(