MV代数定义的蕴涵简化形式.pdfVIP

第20卷第6期 模糊系统与数学 V01．20．No．6 andMathematics Dec．。2006 2006年12月 FuzzySystems 文章编号：i001—7402(2006)06—0044—07 MV代数定义的蕴涵简化形式。 刘 敏，吴洪博 (陕西师范大学数学研究所，陕西西安 710062) 摘要：通过对MV代数和Lukasiewicz命题演算系统的研究，我们对MV代数的定义进行了简化，并讨 论了MV代数和其它代数之间的关系。主要结果是：(1)从蕴涵角度出发，给出了MV代数的两种简化 定义；(2)提出了弱格蕴涵代数的概念，并证明了它与BRo代数等价；(3)证明了弱格蕴涵代数是正则 Fuzzy蕴涵代数。 关键词：模糊逻辑；MV代数；弱格蕴涵代数；BRo代数；正则Fuzzy蕴涵代数 中图分类号：0159；0153文献标识码：A 而提出的，近半世纪以来，关于它的研究长盛不衰。目前，MV代数已有多种等价定义，包括徐扬教 这些定义中，从蕴涵角度给出的大都较复杂。例如格蕴涵代数要求建立在带有逆序对合对应的有界 格上，满足7条运算性质；正规Fuzzy蕴涵代数也要满足7条运算性质。而本文所给出的N。一MV代 数只要求建立在有界偏序集上，满足三条运算性质。此外本文从Lukasiewicz命题演算系统四条公 理的形式特点出发，提出了N：一MV代数的概念，N。～MV代数脱离了偏序集的框架，除了要满足蕴 涵运算的六条运算性质外不做其它要求。本文又从蕴涵角度对MV代数的性质做了一些讨论，从 MV代数的等价形式——格蕴涵代数的定义出发，提出了弱格蕴涵代数的概念，对弱格蕴涵代数的 性质作了一些初步分析，证明了弱格蕴涵代数与基础R。代数是等价的，进一步阐明了MV代数与 R。代数之间的关系。最后证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。 1 N1一MV代数 定义1．1设(X，≤)是有界偏序集(其中1为其最大元，0为最小元)，一为其上的二元运算， 若一满足如下性质： (1．1)z—y=1当且仅当z≤y， (1．2)z一(广+z)=y一(z一2)， (1．3)(z—j，)一y一(y一．z)一z． 则称(2，o，o)型代数(X，一，1，o)为N。一MV代数，简称X是MV代数。 为了行文需要，V．27∈X，以z7记z—o，并称7：X--+X为由蕴涵一诱导的非运算。 ·收稿日期：2005—11—23；修订日期：2006—03—21 培养创新基金资助项目(2006CXS017) 作者简介：刘敏(1981一)，女，山西长治人，陕西师范大学研究生，研究方向：非经典数理逻辑；吴洪博(1959一)，男，陕西咸阳 人，陕西师范大学数学与信息科学学院教授，研究方向；格上拓扑与非经典数理逻辑。 万方数据 第6期 刘敏，吴洪博：MV代数定义的蕴涵简化形式 45 命题1。1设X是N。一MV代数，Vz，yEX，以下性质成立： (1．4)y≤z—y， (1．5)1—，z=z， (1．6)(z—y)一y是{z，Y)的上界， (1．7)z—y关于z不增， (1．8)若z≤y，则Y’≤z’． 证明 z)一z=1，从而1一z≤z，又由(1．4)知z≤1一z，因此1x=x． —y)一(y—y)一(z—y)一1=1得j，≤(z—y)一y，因此(z—y)一了是{X，y)的上界。 (1．7)V 了)一y]一1，因此z2一y≤z1一y． (1．8)由性质(1．7)知z≤y时，Y’一y—O≤z一0=z7． 命题1．2设X是N1一MV代数，则X是一个格，且V z，z^y一(z’VY7)’，这里zVY，z^Y分别是{z，Y}的上、下确界。 证明 现证zhy=(z’VY’)’是{z，Y)的下确界。 由(z’)’一(z—o)一。一zV {z，y)的上确界，由文献[1]知z^y一(z7VY7)’是{z，y}的下确界。综上知X是有界格。 命题1．3设X是N。一MV代数则有’：(X，≤)一(X，