系统H_α中的广义重言式理论 被引量：68

1

作者 王国俊 兰蓉 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第2期1-11,共11页

给出了一类带参数的[0,1]上的t 模 α及与之伴随的新的蕴涵算子Hα(0≤α≤1),进而建立了多值系统Hα.当α=1时,Hα就是R0型蕴涵算子;当α=0时,Hα是G del蕴涵算子,所以R0算子与G del算子在Hα系统中统一起来.在,∨,→1Hα系统中引入了... 给出了一类带参数的[0,1]上的t 模 α及与之伴随的新的蕴涵算子Hα(0≤α≤1),进而建立了多值系统Hα.当α=1时,Hα就是R0型蕴涵算子;当α=0时,Hα是G del蕴涵算子,所以R0算子与G del算子在Hα系统中统一起来.在,∨,→1Hα系统中引入了带参数的非运算 α,研究了多值系统H1),以H1=( 12222为赋值域建立了F(S)中重言式的分类定理,并将广义重言式分类定理推广到系统Hα(0<α<1)中. 展开更多

关键词 多值逻辑系统 蕴涵算子 Hα系统 广义重言式理论 T-模 子代数 分类定理

在线阅读 下载PDF 职称材料

模糊模态命题逻辑及其广义重言式 被引量：18

2

作者 汪德刚 谷云东 李洪兴 《电子学报》 EI CAS CSCD 北大核心 2007年第2期261-264,共4页

首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M-W系统的定义,并讨论了相应系统中广义重言式的性质及其分... 首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M-W系统的定义,并讨论了相应系统中广义重言式的性质及其分类,证明了系统M-W只有三种广义重言式. 展开更多

关键词 模糊逻辑 模糊模态命题逻辑 广义重言式

在线阅读 下载PDF 职称材料

扰动模糊逻辑I^2的最大子代数及其广义重言式 被引量：9

3

作者 陈图云 韩莹 廖士中 《工程数学学报》 CSCD 北大核心 2003年第2期118-120,91,共4页

运用R0-蕴涵算子,找到扰动模糊命题逻辑I2的一个最大子代数IR,进而将逻辑系统 W中的广义重言式理论推广到IR中,得到类似的结果。由此说明关于一维赋值格的结果需要加一定的限制条件才能推广到二维赋值格上去。

关键词 模糊逻辑 扰动模糊逻辑 逻辑代数 广义重言式

在线阅读 下载PDF 职称材料

Lukasiewicz系统中的广义重言式理论 被引量：32

4

作者 杨晓斌 张文修 《陕西师大学报（自然科学版）》 CAS CSCD 北大核心 1998年第4期6-9,共4页

引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重... 引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝∩β＜α，β∈（Ｌ）β－Ｔ（Ｌ）． 展开更多

关键词 L系统 模糊逻辑 广义重言式理论 模糊推理

在线阅读 下载PDF 职称材料

Lukasie wicz逻辑系统中的广义重言式理论 被引量：26

5

作者 吴洪博 王国俊 《西南交通大学学报》 EI CSCD 北大核心 2000年第5期559-563,共5页

将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于﹁同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而... 将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于﹁同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而言 ,不存在可达α+ 重言式 ;给出了广义重言式、广义矛盾式各类之间的关系定理。 展开更多

关键词 模糊逻辑 逻辑系统 广义重言式理论

在线阅读 下载PDF 职称材料

修正的Gdel逻辑系统中子代数的广义重言式理论 被引量：15

6

作者 李顺琴 王国俊 《计算机工程与应用》 CSCD 北大核心 2008年第36期58-60,72,共4页

将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划.

关键词 修正的Goedel逻辑系统 广义重言式 α-矛盾式 分划

在线阅读 下载PDF 职称材料

n值逻辑系统L_n~*中广义重言式的计量化研究 被引量：7

7

作者 王国俊 时慧娴 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第2期1-5,12,共6页

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了... 基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则. 展开更多

关键词 广义重言式 ζ-真度 σ-(ζ-重言式) 广义真度推理规则

在线阅读 下载PDF 职称材料

R_G-代数的子代数与广义重言式理论 被引量：5

8

作者 李修清 魏海新 《计算机工程与应用》 CSCD 北大核心 2011年第29期49-51,59,共4页

对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。

关键词 Gdel逻辑系统 广义重言式 子RG-代数 分划

在线阅读 下载PDF 职称材料

逻辑系统RDP中子代数的广义重言式理论 被引量：6

9

作者 于鸿丽 吴洪博 《计算机工程与应用》 CSCD 北大核心 2011年第32期47-48,64,共3页

将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念。

关键词 RDP逻辑系统 广义重言式 子代数

在线阅读 下载PDF 职称材料

Lukasiewicz区间值命题逻辑的广义重言式 被引量：2

10

作者 薛占熬 卫利萍 +1 位作者 岑枫 李霞 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第3期33-35,共3页

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.

关键词 区间值逻辑 广义重言式 Lukasiewicz命题逻辑

在线阅读 下载PDF 职称材料

扰动模糊命题逻辑的代数结构及其广义重言式性质 被引量：5

11

作者 韩莹 陈森发 《高校应用数学学报（A辑）》 CSCD 北大核心 2005年第4期483-488,共6页

着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.

关键词 模糊命题逻辑 扰动模糊命题逻辑 代数结构 广义重言式

在线阅读 下载PDF 职称材料

泛逻辑的中极形式系统中的广义重言式理论 被引量：1

12

作者 马盈仓 何华灿 薛占熬 《计算机工程与应用》 CSCD 北大核心 2004年第35期15-16,32,共3页

论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的中极形式系统中,对于犤0,1犦内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩... 论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的中极形式系统中,对于犤0,1犦内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩(0,1)时,犤α犦-MP规则与犤α犦-HS规则不成立。 展开更多

关键词 泛逻辑学 广义重言式 升级算法 广义语义MP规则 广义语义HS规则 中极形式系统

在线阅读 下载PDF 职称材料

多值逻辑系统中的子代数与广义重言式 被引量：27

13

作者 裴道武 《陕西师大学报（自然科学版）》 CSCD 北大核心 2000年第2期18-22,共5页

研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn 和Wn,讨论了这些系统子代数的特征及计数问题 ,以及这些系统的广义重言式理论 .给出了这些系统子代数的特征性质与计数公式 ,证明了Ln,Sn,Gn 中可达α 重言式类类不空 ,并探明了它们与经典逻... 研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn 和Wn,讨论了这些系统子代数的特征及计数问题 ,以及这些系统的广义重言式理论 .给出了这些系统子代数的特征性质与计数公式 ,证明了Ln,Sn,Gn 中可达α 重言式类类不空 ,并探明了它们与经典逻辑系统重言式的关系 . 展开更多

关键词 多值逻辑 子代数 广义重言式 可达α-重言式

在线阅读 下载PDF 职称材料

Gdel逻辑系统中1/2-子代数上的广义重言式理论 被引量：6

14

作者 李修清 《计算机工程与应用》 CSCD 北大核心 2011年第5期43-45,100,共4页

将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。

关键词 Gdel逻辑系统 广义重言式 子代数 分划

在线阅读 下载PDF 职称材料

修正的Kleene系统中子代数的广义重言式理论 被引量：6

15

作者 魏海新 《计算机工程与应用》 CSCD 北大核心 2009年第22期32-33,46,共3页

将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于┐同余的一个分划。

关键词 修正的Kleene系统 广义重言式 分划

在线阅读 下载PDF 职称材料

泛逻辑的基本形式系统中的广义重言式理论 被引量：1

16

作者 马盈仓 何华灿 《计算机科学》 CSCD 北大核心 2005年第6期96-98,共3页

本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的... 本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的一个分划;给出[α]-MP(α∈I_Q)规则成立的一个充分条件。 展开更多

关键词 广义重言式理论 形式系统 泛逻辑 充分条件 有理数 无理数

在线阅读 下载PDF 职称材料

修正的RDP逻辑系统中子代数的广义重言式理论 被引量：1

17

作者 李顺琴 惠小静 《计算机工程与应用》 CSCD 北大核心 2015年第12期49-52,106,共5页

讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。

关键词 修正的RDP逻辑系统 广义重言式 α-矛盾式 子代数 分划

在线阅读 下载PDF 职称材料

Gdel系统中一类子代数上的广义重言式理论 被引量：4

18

作者 魏海新 《计算机工程与应用》 CSCD 北大核心 2010年第29期56-57,62,共3页

将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。

关键词 Gdel逻辑系统 广义重言式 子代数 分划

在线阅读 下载PDF 职称材料

修正的RDP逻辑系统中的广义重言式理论 被引量：1

19

作者 李顺琴 惠小静 《济南大学学报（自然科学版）》 CAS 北大核心 2015年第4期315-320,共6页

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。

关键词 修正的RDP逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则 分划

在线阅读 下载PDF 职称材料

基于零级泛与运算的泛逻辑中广义重言式理论

20

作者 马盈仓 何华灿 薛占熬 《计算机工程与应用》 CSCD 北大核心 2007年第3期16-18,21,共4页

对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当c∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0+-重言式和重言式;当h=0时,关于Ih=0而言,F(S)中存... 对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当c∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0+-重言式和重言式;当h=0时,关于Ih=0而言,F(S)中存在0、1可达重言式,当α∈(0,1),不存在α-重言式、α+-重言式和可达α-重言式;用h=0.5时的广义重言式对h∈(0,0.75)时的广义重言式进行了刻画。 展开更多

关键词 泛逻辑 广义重言式 零级泛与运算

在线阅读 下载PDF 职称材料