16种基础R0-代数结构的相对独立公理系统.pdfVIP

第26卷第6期 模糊系统与数学 V01．26．No．6 andMathematics 2012年12月 FuzzySystems Dec．，2012 文章编号：1001—7402(2012)06—0014—07 16种基础尺。一代数结构的相对独立公理系统。 乔希民1’2，吴洪博2，罗俊丽1 (1．商洛学院数学与计算科学系，陕西商洛726000； 2．陕西师范大学数学与信息科学学院，陕西西安 710062) 摘 要：在对R0-代数和基础Ro一代数结构研究的基础上，讨论了基础R。一代数结构与并(交)半格及有界 并(交)半格上的等价性命题系统，进而证明了16种基础尺。一代数公理系统的相对独立性，同时指出了相 应R。一代数结构的公理系统的相对独立性。 关键词：模糊代数；基础尺。一代数结构；并(交)半格；公理化系统；相对独立性 中图分类号：0141 文献标识码：A 非经典数理逻辑是数学基础的重要组成部分。它是以逻辑的数学化方法与思想——特别是公理系 统和数学证明——为研究对象的一级数学分支。其中相关代数结构系统的探究是非经典数理逻辑的重 要研究方向之一。比如，王国俊教授所创建的与模糊逻辑演算系统L。相匹配的R0一代数就是一个非常 从多层次、多方位探讨基础尺。一代数结构所满足的公理性质，企图使基础R0一代数结构的公理系统中的 每条公理应该独立，即每条公理不可能由其它公理所推出。因为基础R。一代数结构的公理系统已较完善 的解决了和谐性(即无矛盾性)与完备性。事实上，以下讨论的基础R。一代数结构的公理系统是一种相对 独立的公理化系统。 ，，， 1 定义与引理 定义1．1 L161设M是(一，V，一)型代数，如果 (1)M上有偏序≤使(M，≤)成为有界分配格，且V是关于序≤而言的上确界运算； (2)一是关于序≤而言的逆序对合对应； (3)V z，Y，2∈M，以下条件成立： BRoC一1 _7z一-7了一y+z； BRoC一21—’z=X，z—’z一1； BRoC一3 y—z≤(z—y)—，(z—，2)； BRoC一4 z斗(y斗名)一y斗(z斗z)； BRoC一5 V z—yz一(z—，y)V(z—，2)，z—，y^2一(z—，y)^(z—’．z)， *收稿日期：2011-07—25 基金项目：陕西省教育厅科研计划项目(11JK0512) 作者简介：乔希民(1960一)，男，陕西洛南人，副教授，研究方向：非经典数理逻辑与格上拓扑学；吴洪博(1959一)，陕西咸阳人，博士， 教授，研究方向：非经典数理逻辑与格上拓扑学；罗俊丽，河南灵宝人，副教授，研究方向：非经典数理逻辑与解析不等式。 万方数据 第6期 乔希民，吴洪博等：16种基础R。一代数结构的相对独立公理系统 15 见，经常用St?7表示_7z． 定义1．2[1’2’163 满足条件BR。C一6：(z—y)V((z一∥)一(z7Vy))一1的BR。一代数称之为R。一代数。 6] 引理1．1[1设M是BR。一代数，Vz，Y，zEM，则有 BRoP一1 V 7． (z^y)7一z7Y7，(zV∥)’一z7^Y 命题1．1[21]在格L中，成立分配律不等式，即V z，Y，zEL，有 (1)z八(∥Vz)≥(z八y)V(z八z)； (2)zV(∥Az)≤(zV∥)^(zVz)。 受文献[1]的启发，我们给出在本文主要结论证明过程中所要用到的基本概念和引理。