完备格上正则蕴涵算子的研究.pdfVIP

西北大学学报 (自然科学版) 2011年8月，第41卷第4期 ，Aug．，2011，Vo1．41，No,4 JournalofNo~hwestUniversity(NaturalScienceEdition) 完备格上正则蕴涵算子的研究 李 艳 (陕西职业技术学院基础课部 ，陕西 西安 710100) 摘要：目的 将正则蕴涵算子的概念推广到完备格上。方法 利用定义及基本性质。结果 研究 了完备格上正则蕴涵算子的性质以及与一些重要的逻辑代数之间的关系。结论 完备格上的正则 蕴涵算子与逻辑代数关系密切，是研究逻辑代数的基础。 关 键 词：正则蕴涵算子；完备格 ；逻辑代数 中图分类号：0141．1 文献标识码 ：A 文章编号：1000-274X(2011)04-0569-04 Theregularimplicationson completed lattice LIYan (ShaanxiVocationalandTechnicalCollege，Xian710100，China) Abstract：Aim Generalizingtheregularimplicationstocompletedlattice．Methods Theconceptandthebasic propertiesareusedtostudy．Results Thepropertiesoftheregularimplicationsoncompletedlatticearestudied． Meanwhiletherelationshipsbetween theregulra implicationsand someimportantlogicalgebrasarestudied．Con- clusion Becauseofthecloserelations，thereug lra implicationisthekeypointforstudyinglogicalgebras． Keywords：regularimplication；completedlattice；logicalgebra 完备的逻辑系统的建立与蕴涵算子的选择密切 2)(L，$，1)是带单位元 1的交换半群，这里 1 相关，而这些蕴涵算子的最大特点就是可与某特定 是 的最大元。 的三角模构成伴随，王 国俊教授在文献 [1]中将这 命题 1 设 (， ，一)叫剩余格，则下列结 类蕴涵算子称为正则蕴涵算子。本文将正则蕴涵算 论成立 子的概念推广到完备格上。 1) ≤Y 木y； 2)( Y) ≤y； 1 完备格上的正则蕴涵算子 3) Y≤ Y ； 4) Y ： (Y_ z)； 定义1 设 是完备格，一 ： 一 ￡，若满足 5) Y≤ Ay。 1)V ，Y，z∈L， (Y )=Y ( z)； 定理 1 设一是完备格 上的正则蕴涵算子， 2) ≤Y当且仅当 — Y=1； 按照以下方式定义二元运算 ：L一 ￡， 3)V ∈L，1 = ； Y=八 {t：y≤ —}t}， (1) 4) _ ^ Y =^ (_÷Y)， 则 满足以下性质 则称 为完备格 ￡上的正则蕴涵算子。 1) Y Y$ ： 定义2l1 有界格 叫剩余格，若满足 2)