格蕴涵代数的超滤 被引量：23

1

作者 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 1999年第1期51-54,共4页

通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。

关键词 超滤 格 滤子 格蕴涵代数 蕴涵代数

下载PDF 职称材料

格蕴涵代数的蕴涵表示定理 被引量：19

2

作者 刘春辉 徐罗山 《模糊系统与数学》 CSCD 北大核心 2010年第4期26-32,共7页

在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其... 在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。 展开更多

关键词 模糊逻辑 格蕴涵代数 蕴涵 表示定理

原文传递

可交换弱R_0代数 被引量：8

3

作者 吴苏朋 王国俊 《云南师范大学学报（自然科学版）》 2007年第1期1-4,13,共5页

简化了弱R0代数及R0代数的定义。在弱R0代数的基础上,提出可交换弱R0代数,并讨论了它的一些新的性质。探究了可交换弱R0代数与格蕴涵代数之间的关系,以及与MV代数之间的关系。

关键词 弱R0代数 R0代数 格蕴涵代数 MV代数

下载PDF 职称材料

区间集上的格蕴涵代数、FI-代数、MV-代数的研究 被引量：8

4

作者 薛占熬 杜浩翠 +1 位作者 尹昊喆 肖运花 《计算机科学》 CSCD 北大核心 2010年第12期218-223,共6页

区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、... 区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、FI-代数和MV-代数3种不同的代数系统是等价的。 展开更多

关键词 区间集 格蕴涵代数 可换FI-代数 MV-代数

下载PDF 职称材料

格蕴涵代数的区间值模糊子代数 被引量：5

5

作者 秦学成 刘春辉 《纯粹数学与应用数学》 CSCD 2011年第6期801-807,共7页

将区间值模糊集的概念应用于格蕴涵代数,引入区间值模糊格蕴涵子代数的概念并研究它们的性质.讨论了区间值模糊格蕴涵子代数与(模糊)格蕴涵子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊格蕴涵子代数的象和原象成为... 将区间值模糊集的概念应用于格蕴涵代数,引入区间值模糊格蕴涵子代数的概念并研究它们的性质.讨论了区间值模糊格蕴涵子代数与(模糊)格蕴涵子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊格蕴涵子代数的象和原象成为区间值模糊格蕴涵子代数的条件. 展开更多

关键词 模糊逻辑 区间值模糊集 格蕴涵代数 区间值模糊格蕴涵子代数

下载PDF 职称材料

关于IV-(∈,∈Ⅴq)模糊格蕴涵子代数 被引量：4

6

作者 刘春辉 《计算机工程与应用》 CSCD 2012年第26期39-43,共5页

运用区间值模糊集的思想对IV-(∈,∈Ⅴq)-模糊格蕴涵子代数概念作进一步研究。给出了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的若干新的性质与刻画;获得了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的象与原象成为IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的条件;... 运用区间值模糊集的思想对IV-(∈,∈Ⅴq)-模糊格蕴涵子代数概念作进一步研究。给出了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的若干新的性质与刻画;获得了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的象与原象成为IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的条件;讨论了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的直积特征。 展开更多

关键词 格蕴涵代数 IV-模糊集 IV-(∈ ∈Ⅴq)-模糊格蕴涵子代数 直积

下载PDF 职称材料

格蕴涵代数中α-化子的性质 被引量：3

7

作者 龙希庆 《宜宾学院学报》 2010年第12期8-9,15,共3页

在格蕴涵代数中研究α-化子的一些特殊性质,重点研究乘积格蕴涵代数中α-化子的性质.证明B1×B2是L1×L2的子集则(B1×B2)(α1)×B2(α2).

关键词 格蕴涵代数 乘积格蕴涵代数 α-化子

下载PDF 职称材料

格蕴涵代数不等式的解 被引量：3

8

作者 龙希庆 《内江师范学院学报》 2011年第2期8-10,共3页

在格蕴涵代数中研究两类格蕴涵代数不等式,分别讨论了两类不等式有解的充分必要条件,在此基础上给出格蕴涵代数不等式的具体解集并证明其解集分别是L的一个凸子格和子格.

关键词 格蕴涵代数 格蕴涵代数不等式 凸子格

下载PDF 职称材料

格蕴涵代数的（∈,∈∨q~[k]）-fuzzy LI-理想 被引量：4

9

作者 刘春辉 徐罗山 《纯粹数学与应用数学》 CSCD 2011年第3期362-368,376,共8页

运用fuzzy集的思想和方法研究格蕴涵代数的LI-理想.引入了(∈,∈∨q[k])-fuzzy LI-理想和(∈,∈∨q[k])-fuzzy格理想的概念,讨论了它们的性质及相互关系.获得了(∈,∈∨q[k])-fuzzy LI-理想的若干等价刻画;证明了在格H蕴涵代数中(∈,∈... 运用fuzzy集的思想和方法研究格蕴涵代数的LI-理想.引入了(∈,∈∨q[k])-fuzzy LI-理想和(∈,∈∨q[k])-fuzzy格理想的概念,讨论了它们的性质及相互关系.获得了(∈,∈∨q[k])-fuzzy LI-理想的若干等价刻画;证明了在格H蕴涵代数中(∈,∈∨q[k])-fuzzy LI-理想和(∈,∈∨q[k])-fuzzy格理想相互等价的结论. 展开更多

关键词 模糊逻辑 格蕴涵代数 LI-理想 (∈ ∈∨q[k])-fuzzyLI-理想

下载PDF 职称材料

N元格蕴涵代数不等式的解Ⅰ 被引量：2

10

作者 龙希庆 《绵阳师范学院学报》 2011年第2期6-8,共3页

在格蕴涵代数中研究N元格蕴涵代数不等式,得到其有解的充分必要条件。在b是L交既约元的情况下找出N元格蕴涵代数不等式的所有极大解,从而给出N元格蕴涵代数不等式的具体解集。

关键词 蕴涵代数 格蕴涵代数不等式 交既约元 极大元

下载PDF 职称材料

格蕴涵代数的区间值T-模糊滤子理论 被引量：3

11

作者 刘熠 钟纯真 《模糊系统与数学》 CSCD 北大核心 2013年第4期74-83,共10页

将区间值模糊集和D[0,1]上的t-模T应用于格蕴涵代数的滤子理论,引入格蕴涵代数的区间值T-模糊(关联、正关联)滤子的概念,给出了它们的等价刻画,研究了它们之间的关系。

关键词 格蕴涵代数 区间值模糊集 T-模 区间值T-模糊(关联、正关联)滤子

原文传递

分层格值命题逻辑系统中几类推理规则的讨论 被引量：2

12

作者 洪智勇 刘熠 秦克云 《计算机工程与应用》 CSCD 北大核心 2017年第24期55-58,共4页

在基于格值逻辑的不确定性推理的研究中,推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统,提出了几类既包含有语义又含有语法的推理规则,且这些推理规则具备协调水平的特性;同时也证明了这几类推理规则在一定程度上有闭性。

关键词 格蕴涵代数 分层格值逻辑系统 推理规则 封闭性

下载PDF 职称材料

乘积格蕴涵代数的理想 被引量：1

13

作者 龙希庆 《宜宾学院学报》 2010年第6期26-27,47,共3页

在乘积格蕴涵代数中研究乘积格蕴涵代数的理想,乘积格蕴涵代数的各种理想之间的关系,证明了A×B是L1×L2的理想(素理想)当且仅当A,B分别是L1和L2的理想(素理想),两条Lukasiew icz链Lm和Ln的直积Lm×Ln只有{a1}×Ln和Lm&... 在乘积格蕴涵代数中研究乘积格蕴涵代数的理想,乘积格蕴涵代数的各种理想之间的关系,证明了A×B是L1×L2的理想(素理想)当且仅当A,B分别是L1和L2的理想(素理想),两条Lukasiew icz链Lm和Ln的直积Lm×Ln只有{a1}×Ln和Lm×{b1}两个素理想. 展开更多

关键词 格蕴涵代数 乘积格蕴涵代数 理想 素理想

下载PDF 职称材料

基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 被引量：1

14

作者 刘熠 徐扬 贾海瑞 《计算机科学》 CSCD 北大核心 2015年第4期249-252,280,共5页

进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有... 进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。 展开更多

关键词 格蕴涵代数 格值命题逻辑 多元α-归结原理

下载PDF 职称材料

基于格值一阶逻辑LF(X)的多元α-归结原理的注记 被引量：1

15

作者 刘熠 徐扬 贾海瑞 《计算机工程与应用》 CSCD 北大核心 2015年第14期51-56,190,共7页

进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的... 进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的有效性进行了一定分析;这为建立基于LF(X)的多元α-归结方法以及构造多元α-归结算法建立了理论基础。 展开更多

关键词 格蕴涵代数 格值一阶逻辑 多元α-归结原理

下载PDF 职称材料

基于格值逻辑系统LP(X)的α-归结域的代数结构 被引量：1

16

作者 刘熠 贾海瑞 +1 位作者 秦晓燕 徐扬 《山东大学学报（工学版）》 CAS 北大核心 2013年第3期13-18,共6页

首先得到了与g不可α-归结的广义文字的集合D*α(g)做成了∨-半群且也是一个序滤子;其次研究了由D*α(g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质;最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成... 首先得到了与g不可α-归结的广义文字的集合D*α(g)做成了∨-半群且也是一个序滤子;其次研究了由D*α(g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质;最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。 展开更多

关键词 格蕴涵代数 格值逻辑系统 α-归结 归结域 滤子

原文传递

N元格蕴涵代数不等式的解Ⅱ

17

作者 龙希庆 《宜宾学院学报》 2011年第12期4-6,共3页

在格蕴涵代数中研究N元格蕴涵代数不等式,得到其有解的充分必要条件.在b有不可约有限交分解的情况下找出N元格蕴涵代数不等式的所有极大解,从而给出N元格蕴涵代数不等式的具体解集.

关键词 格蕴涵代数 格蕴涵代数不等式 不可约分解 极大元

下载PDF 职称材料

带蕴涵算子的N元格蕴涵代数不等式的解

18

作者 龙希庆 《宜宾学院学报》 2012年第6期1-4,共4页

在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极大解,进而给出其具体解集.

关键词 格蕴涵代数 格蕴涵代数不等式 交既约元 极大元

下载PDF 职称材料

N元格蕴涵代数不等式的解^＊ I

19

作者 龙希庆 《宜宾学院学报》 2012年第6期9-10,38,共3页

在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极小解,进而给出N元格蕴涵代数不等式的具体解集.

关键词 格蕴涵代数 N元格蕴涵代数不等式 不可约分解 极小元

下载PDF 职称材料

两类简单格蕴涵代数不等式的解

20

作者 龙希庆 《宜宾学院学报》 2010年第12期-,共3页

格蕴涵代数中研究两类格蕴涵代数不等式,分别讨论了两类不等式有解的充分必要条件,在此基础上给出格蕴涵代数不等式的具体解集并证明其解集是L的一个凸子格.

关键词 格蕴涵代数 格蕴涵代数不等式 格理想 凸子格

下载PDF 职称材料