关于格蕴涵代数的几点注记.pdfVIP

第九届全国多值逻辑与模糊逻辑学术会议 关于格蕴涵代数的几点注记 秦竟云 (西南交通大学应用数学系，6l0031) 0 ·，O，1)成为格蕴涵代数的充要 J 型一 譬㈦轴 t．+毅 且不存在五元格蕴涵代数。 ，格 ，有 代种数格 弱q。j；疆铟穗I：矩0；：_，0，。，j0。 ■象关 要件键 司本证： 文明格 给了蕴 出在涵 了有代 一限数 般链． 0及有五四限 ，元链 为了研究命题真值取于格上的逻辑系统，徐扬【1】把格与蕴涵代数相结台．提出了格蕴 涵代数的概念，随后又有很多文献讨论了格蕴涵代数的性质及基于格蕴涵代数的格值逻辑系 统【2～5】。本文从一般代数系统的角度出发研究了格蕴涵代数的若干性质，给出了一般(2． I，O．0)型代数(L．—}，+，0．1)成为格蕴涵代数的充要条桐：，证明了在有限链及四元 格上只有一种格蕴涵代数．且不存在五元格蕴涵代数。 定义刑：设(L，v，^．+)是一有泛界O，l的有余格，若映射斗：LxL斗L满 足：对于任意的z，y，z∈工， (11)x斗(y斗z)=y斗(x专z) (12)x—手x=l (13)x斗y=，_x’ (14)若J斗y=，—}，=1，则x=y (15)0呻y)斗y=(y_+工)-+工 (L1l(工V一)—}z=(x—÷2)^(y—}z) (L2)(x^，)斗z=扛斗z)V(J，斗z) 尉称(L。v．^，·。-+)为一格蕴涵代数。 定理l：若格L是一有限链．州存在唯一的余运算·：L—}L及唯一的蕴涵运算—： L×L—L．使(L，v，^，·，斗)成为格蕴涵代数。 成为有余格，则+是一双射函数，注意到+是一逆序对台．故对丁任意i，1≤f≤疗． (口1)+=“．+1 又若斗．LxL斗L使(L，v．^，+，寸)成为一格蕴涵代数，则对r任意‘』，1sf√s竹， 若f≤，，剐峨—q=1；若f工则由(oi)+≤哪一曲≤外I可得： 口时f．{S岛—}岛≤‰．I 又对于任意m，k(i，Ⅱ『斗口f啦_+钒时，有 (nm)+—(q)+=(口k)+—+(01)+ (‰)+一(q)’)寸(口i)+=(h)+斗如)+)_+(Ⅱi)+ 即 (口IIJ+=(‰)+v0J+=(dk)+v0，)+=㈤+ 故帖％即口；·q对于q(．，≤j)是严格单调上升的，且从靠“至4雌J恰有(f-1)个元 素，故必有 ． 口i—}口产臼^+}i…，口i—}口i．I兰d巾1 峨—}矾=d-+书 容易验证按以上定义，(L，v，^，·．斗)为一格蕴涵代数。 定理2：对丁．四元格L‘={0，钆b。1J，其中0，1分舅|I为最小元和最大元·a与b不可比 较，剿存在难一的余运算·：k—÷k及唯一的蕴涵运算—》：h×b—÷k使(h—V，^· ·，叶)成为格蔓涵代数且在此格蕴涵代数中，下式成立： (工斗(y寸功一(O呻y)斗(x斗z))t1 ， 证明：设(L‘，v，^．·．一)是一格蕴涵代数，若矿=口，则6+=6，从而有 口斗6≥口