PL公理体系研究.pdf

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 2006 20(Supplement)FuzzySystems September PL公理体系 杨爱丽1颉永建2 (1．陕两两安科技大学基础部，西安710054； 2．陕西师范大学数学与信息科学学院，硒安719062) 代数与广义Ro．代数的等价性和PL公理体系的[F卜完备性． 关键词：广义‰一代数；PL公理体系；【F】一完备性 中图分类号：0159 文献标识码： A 在文献『11中Flondor A提出了广义t一模的定义 P、GeorgescuG和lorgulescu 并且研究了与之相伴随的广义蕴涵算子．同时指出『o，11上的广义}模是亡_模，从 而[0，1】上的连续广义亡_模是模糊逻辑中的又一重要研究对象．作为Ro一代数的非交 换扩充，文f71引入了了广义凰一代数的定义，并且讨论了广义岛一代数的滤子、素滤 子的一些性质．本文给出了相应于广义岛一代数的PL公理体系的定义，证明了PL 公理体系的[卅一完备性． §1 预备知识 定义1．115】若(2，2，2，2，2，0，0)型代数(A，V，A，0，一，一，0，1)满足： (1)(A，V，A，0，1)是有界格； (2)(A，o，1)是带单位元1的半群； 0 (3)Vz，Y．。∈A，zY≤。当且仅当卫≤Y—z，当且仅当Y≤。一2； (4)(X—Y)V(Y—z)=忙一Y)V(Y—z)=1； (5)@一0)一0=(X—o)一0=z． 则称(A，V，A，o，一，一，0，1)为弱广义岛一代数． 若还满足 这里z一=z一0，。…=o一0．则称∽，v，^，o，一，一，0，1)为广义岛一代数． 若(A，0，t)是非交换半群，则称广义风一代数是真的广义凰一代数． 侈9 1．2设A=【0，1】，X ，一，一，0，1)是广义R0一代数，其中 收稿日期：2006_04—05． 作者简介：杨爱丽(1978-)，女，山东郓城人，陕西西安科技大学基础部助教 杨爱丽，颉永建：PL公理体系 189 fz^Ⅳ，z1一Ⅳ2； fl， $≤掣 zoY=≮ X。Y 2{ 【o， 。≤1一矿 【(1一x2)Vy，茁Y f 1， z≤可 X”Y z一=z_0．o～=z¨0 2{ 【1VT-Zi-xVy，zY §2 PL公理体系 称F(S)中具有以下各种形式的公式为公理： (PLl)A一(B—A)； (PL2)(A一(B—C))一∽一∽一c))； (PL3)(A一(B—G))一旧一(A—e))； (PL4)(-7A一一B)一∞一』4)； (PL5)(1A一一B)一(B—A)； (PL6)(A—B)一((B—G)一似一G))； (PL7)(A—B)一((B—e)一(A—e))； (PL8)A一一一A (PL9)A一-7一A； (PLl0)A_AVB； (PLll)AVB—BVA； (PLl2)(A—C)A(B—G)一∽VB—c)；