否定非对合剩余格的LI-理想理论.pdfVIP

高校应用数学学报 2015，30(4)：445—456 否定非对合剩余格的 一理想理论 刘春辉 (赤峰学院数学与统计学院，内蒙古赤峰 024001) 摘 要：综合运用泛代数和格序理论的方法和原理研究否定非对合剩余格 的理想 问题．首先，在否定非对合剩余格 中引入 一理想以及 由 的非空子集生成的 一理 想的概念并考察它们的相关性质．其次，在 的全体 一理想之集Id()上定义了格运 算n和u，证明了(Id(L)，，几，u)构成一个分配的连续格，从而构成一个Frame．然后， 在 中引入素 一理想概念并讨论其性质，建立了预线性否定非对合剩余格的素 一理 想定理．最后，借助于素 ．理想之特性获得 了预线性否定非对合剩余格 的 理想 格(Id(L)，C，r]，U)中素元的若干等价刻画． 关键词：否定非对合剩余格；LI一理想；素 一理想；代数格；连续格；素元 中图分类号：O141．1；O153．1 文献标识码：A 文章编号：i000—4424(2015)04—0445—12 引 言 非经典数理逻辑 1【】理论的重要研究方 向之一是对与各种逻辑系统相对应 的代数系统的研 究，相关的研究成果既促进了非经典数理逻辑的发展，又丰富了代数学的内容2【-8】．在为数众多 的非经典逻辑代数系统中，NWard和Dilworth~A：个世纪30年代在文献f9]中首次提出的剩余格 是一类重要且应用广泛的代数系统，它是Heyting代数的合理推广．Pavelka以Lukasiewicz公理系 统为背景，将剩余格理论引入到非经典数理逻辑的研究中，建立了一类相当宽泛的逻辑结构， 并以此为基础，成功地解决了Luknsiewicz公理系统的语义完备性问题[10]．目前，剩余格 已经被 学者们公认为一类重要的非经典数理逻辑代数结构，是模糊逻辑中相当理想的代数框架，因此对 剩余格结构的深入研究具有广泛而基本的重要意义，相关研究成果也颇为丰富[11-151． 众所周知，滤子和理想是反映各种逻辑代数结构的两个重要的概念，因此，对滤子和理想问 题的研究一直深受学者们的广泛关注[16-24]．值得注意的是，在具有否定对合性质的逻辑代数结 构中，各种理想的性质大都可以通过相应的滤子性质对偶地获得．所以，关于理想问题的研究工 作又大多基于否定非对合的代数结构而展开．鉴于此，本文在否定非对合剩余格中引入 理想 的概念并考察其性质，获得了一些有意义的结果． 收稿 日期：2014—1i一23 修回日期：2015—11—18 基金项目：国家自然科学基金；内蒙古自治区高等学校科学研究项 目(NJSY14283) 446 高校 应 用 数 学 学报 第30卷第4期 §2预备知识 定义2．119,15] (i)称(2，2，2，2，0，0)型代数(，≤，^，v，o，一，0，1)为一个剩余格，简称 为一 个剩余格，如果下列条件(RL1)一fRL3)成立： (RL1)(L，^，V，0，1)是分别以0和1为最小元和最大元的有界格： (RL2)(L，o，1)是一个以1为单位元的交换半群； (RL3)(O，一)是L上的伴随对，即(Vx，Y，∈ )(oY≤ 营 ≤Y— )． (ii)称剩余格 为～个预线性剩余格，如果 满足：(V，Y∈ )((—Y)V(Y—z)=1)． (iii)称剩余格 为一个否定非对合剩余格，如果 满足：(3x∈ )( ≠ )．其中z=X一0． 引理2．1[6,9,15】 设 是否定非对合剩余格，则下列各条成立： (1)(V ，Y∈L)(X≤Y铮X—Y=1)； (2)(Vx∈ )(_一十X=1，—}1=1，1 X= )； (3)(Vx，Y∈ )(((—Y)一 )一Y=X一 )； (4)( ，Y，Z∈L)(一Y≤(Y__÷Z)__÷( ))； (5)(V，Y，∈L)(Y— ≤(—Y)一 (X— )≤X一 (Y— z))； (6)(Vx，Y∈ )(≤Y__÷，≤(__÷Y) Y，