参数Kleene系统中的广义重言式 被引量：73

1

作者 吴望名 《模糊系统与数学》 CSCD 2000年第1期1-7,共7页

引入新的一组带参数 p( p∈ [0 ,1 ])的 t-范∧p,t-余范∨ p 和蕴涵 θp,讨论它们的基本性质。在此基础上研究参数 Kleene系统 Kp 与三值 Kleene系统 K3,三值 Lukasiewicz系统 L3和经典二值系统 B2 关于 (广义 )重言式的相互关系 ,指出... 引入新的一组带参数 p( p∈ [0 ,1 ])的 t-范∧p,t-余范∨ p 和蕴涵 θp,讨论它们的基本性质。在此基础上研究参数 Kleene系统 Kp 与三值 Kleene系统 K3,三值 Lukasiewicz系统 L3和经典二值系统 B2 关于 (广义 )重言式的相互关系 ,指出系统 Kp 对广义重言式而言是可判定的。 展开更多

关键词 参数Kleene系统 广义重言式 t-范∧A t-余范∨p

下载PDF 职称材料

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

2

作者 王国俊 兰蓉 《陕西师范大学学报（自然科学版）》 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 职称材料

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

3

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

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

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

下载PDF 职称材料

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

4

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

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

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

下载PDF 职称材料

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

5

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

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

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

下载PDF 职称材料

区间值模糊命题逻辑的最大子代数及其广义重言式 被引量：8

6

作者 陈图云 张宇卓 廖士中 《模糊系统与数学》 CSCD 2003年第2期106-108,共3页

将 S-型蕴涵算子改为 R0 -蕴涵算子 ,从而找到区间值模糊逻辑 I[0 ,1]的一个最大子代数 IQ,进而将王国俊教授在逻辑系统 W中的广义重言式理论推广应用到 IQ 中。

关键词 区间值逻辑代数 模糊命题逻辑 最大子代数 广义重言式 蕴涵算子

下载PDF 职称材料

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

7

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

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

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

下载PDF 职称材料

R_0-代数[0,1]的子代数与广义重言式 被引量：11

8

作者 王龙春 王国俊 《数学学报（中文版）》 SCIE CSCD 北大核心 2004年第3期521-526,共6页

本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。

关键词 修正的Kleene系统 子R0-代数 广义重言式

原文传递

积逻辑系统中的广义重言式(英文) 被引量：12

9

作者 裴道武 李骏 《模糊系统与数学》 CSCD 2002年第4期19-27,共9页

讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。

关键词 模糊逻辑 积逻辑系统 广义重言式 传递性

下载PDF 职称材料

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

10

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

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

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

下载PDF 职称材料

系统RDP中的广义重言式理论 被引量：10

11

作者 黄阿敏 裴道武 《模糊系统与数学》 CSCD 北大核心 2010年第4期6-11,共6页

研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有三种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法... 研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有三种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可达0-重言式和可达(1/2)-重言式分别提升为可达(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式。这表明对非重言式有限次利用升级算法未必能得到重言式。 展开更多

关键词 参数RDP系统 广义重言式 重言式 升级算法

原文传递

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

12

作者 刘练珍 李开泰 《模糊系统与数学》 CSCD 北大核心 2005年第1期12-17,共6页

首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分;其次通过引入一类特殊的公式序列和特殊公式,进一步证明了对任意有理数α∈[0 ,1],可达α-重言式集是类类非空的。

关键词 修正的P-逻辑 广义重言式

下载PDF 职称材料

有限扰动模糊逻辑代数及其广义重言式 被引量：7

13

作者 陈图云 韩莹 《辽宁师范大学学报（自然科学版）》 CAS 2002年第4期343-345,共3页

讨论了有限扰动模糊逻辑代数 ,给出了判别其子代数的充要条件 :将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I2 n 中 ,证明了在I2 n 中不存在 (1,0 )—重言式 ,广义重言式不随系统的增大而增多 ,广义... 讨论了有限扰动模糊逻辑代数 ,给出了判别其子代数的充要条件 :将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I2 n 中 ,证明了在I2 n 中不存在 (1,0 )—重言式 ,广义重言式不随系统的增大而增多 ,广义重言式前缀是不灵敏的 . 展开更多

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

下载PDF 职称材料

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

14

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

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

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

下载PDF 职称材料

关于形式系统L＊（强）完备性证明的注记 被引量：6

15

作者 韩诚 周红军 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期9-12,17,共5页

考察了形式系统L 完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于L 系统强完备性证明中的错误并给出了一个全新的修正证明.讨论了单位区间[0,1]上全序R0代数的非运算与强否定的一致性,给出了强否定表示定... 考察了形式系统L 完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于L 系统强完备性证明中的错误并给出了一个全新的修正证明.讨论了单位区间[0,1]上全序R0代数的非运算与强否定的一致性,给出了强否定表示定理的一个等价刻画,并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察,得到了公式集F(S)基于不动点的一类新的分划. 展开更多

关键词 L＊系统 完备性 强否定 广义重言式 不动点

下载PDF 职称材料

有限区间值模糊逻辑代数及其广义重言式 被引量：4

16

作者 陈图云 张宇卓 《辽宁师范大学学报（自然科学版）》 CAS 2002年第1期12-14,共3页

讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大... 讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 。 展开更多

关键词 有限区间值模糊逻辑 逻辑代数 广义重言式 多值模糊逻辑系统 逻辑子代数 格同态映身

下载PDF 职称材料

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

17

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

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

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

下载PDF 职称材料

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

18

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

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

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

下载PDF 职称材料

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

19

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

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

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

下载PDF 职称材料

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

20

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

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

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

下载PDF 职称材料