Lukasiewicz多值逻辑系统中的广义重言式理论 被引量：26

1

作者 杨晓斌 张文修 《模糊系统与数学》 CSCD 2000年第1期8-12,共5页

引入一类特殊的公式序列 Ak,k=1 ,2 ,… ,证明了在 Lukasiewicz多值逻辑系统 ,对任意真值 α∈Ln而言 ,可达 α-重言式类类不空 ,进一步证明了系统中广义重言式的类类互异定理。最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统... 引入一类特殊的公式序列 Ak,k=1 ,2 ,… ,证明了在 Lukasiewicz多值逻辑系统 ,对任意真值 α∈Ln而言 ,可达 α-重言式类类不空 ,进一步证明了系统中广义重言式的类类互异定理。最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。 展开更多

关键词 Lukasiewicz多值逻辑系统 α-重言式 广义重言式

下载PDF 职称材料

适用于多种蕴涵算子的赋值空间上的测度与积分理论 被引量：9

2

作者 王国俊 《中国科学（E辑）》 CSCD 北大核心 2001年第1期42-50,共9页

对多种蕴涵算子导出的赋值空间进行统一处理 ,引入公用的Lebesgue测度 ,证明了相对于若干常见蕴涵算子而言 ,全体逻辑公式都是可测函数 .建立了t_(α_重言式 )理论 ,提出了一般的语义MP规则和一般的语义HS规则 .基于积分理论引入了逻辑... 对多种蕴涵算子导出的赋值空间进行统一处理 ,引入公用的Lebesgue测度 ,证明了相对于若干常见蕴涵算子而言 ,全体逻辑公式都是可测函数 .建立了t_(α_重言式 )理论 ,提出了一般的语义MP规则和一般的语义HS规则 .基于积分理论引入了逻辑公式的真度概念 ,提出了积分MP规则和积分HS规则 .最后 ,通过通用逻辑度量空间概念在全体公式集上引入了伪距离 ,为近似推理提供了一种可能的框架 . 展开更多

关键词 蕴涵算子 赋值空间 LEBESGUE测度 积分 通用逻辑度量空间 近似推理 t-(α-重言式) 模糊推理

原文传递

模糊模态命题逻辑的语义 被引量：4

3

作者 陈图云 汪德刚 《辽宁师范大学学报（自然科学版）》 CAS 2003年第4期341-343,共3页

对克里普克语义进行了扩充,给出了模糊化的克里普克语义.然后讨论了模糊模态α—重言式.最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题.

关键词 模糊逻辑 克里普克语义 模糊模态逻辑 α-重言式

下载PDF 职称材料

赋值格为非线性序的一种4值逻辑系统G_4~2 被引量：3

4

作者 郑亚林 李彩萍 《宝鸡文理学院学报（自然科学版）》 CAS 1998年第4期1-4,共4页

研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的非运算，而蕴含算子→取Ｇｏｄｅｌ的ＲＧ的一种４值逻辑系统Ｇ２４，得到一些结果，特别是，在Ｇ２４中，α－ＭＰ规则（α＞０）都成立，Ｇ２４－重言式都是Ｃ２－重言式，所有的Ｉ... 研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的非运算，而蕴含算子→取Ｇｏｄｅｌ的ＲＧ的一种４值逻辑系统Ｇ２４，得到一些结果，特别是，在Ｇ２４中，α－ＭＰ规则（α＞０）都成立，Ｇ２４－重言式都是Ｃ２－重言式，所有的ＩＰＣ－定理皆是Ｇ２４－重言式，以及，一个公式是Ｇ２４－重言式，当且仅当它既是Ｇ２４－中的Ｉ－重言式，又是－Ｊ重言式。 展开更多

关键词 FUZZY逻辑 Godel蕴涵算子 α—MP规则 α—重言式 IPC—定理

下载PDF 职称材料

赋值为R_0-模糊集的逻辑系统 被引量：1

5

作者 王向云 《工程数学学报》 EI CSCD 北大核心 2001年第1期78-82,共5页

研究了赋值为 R0 -模糊集逻辑系统 W X 的语义理论 ,得到了若干结果 ,特别是对 W X 而言 ,F(S)中的α-重言式类只有 1 / 2

关键词 模糊逻辑 R0-代数 R0方体 α-重言式 α-MR α-HS R0-模糊集

下载PDF 职称材料

多值逻辑系统H_α中的重言式分类定理 被引量：1

6

作者 于鸿丽 《西安文理学院学报（自然科学版）》 2008年第3期36-39,共4页

系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统.借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础.

关键词 系统Hα 重言式 α-重言式 子代数

下载PDF 职称材料

非线性序逻辑系统~2中的重言式

7

作者 辛晓东 《固原师专学报》 2002年第3期1-5,共5页

定义了非线性逻辑系统W^2,研究了W^2中的重言式及广义重言式,得到了若干与线性逻辑系统W^2中相类似的结果。

关键词 FUZZY逻辑 重言式 α—重言式 ∑—(α—重言式)

下载PDF 职称材料

赋值格为险象识别格的一种非经典逻辑系统K~#(Ⅱ)(英文)

8

作者 白永成 郑亚林 《汉中师范学院学报》 2004年第6期1-10,共10页

研究赋值格为非线性序的一种非经典逻辑系统K# .在该系统中 ,格结构不同于Boole代数 ,蕴涵算子→取Kleene_Dienes算子RKD.得到若干结果 ,特别是K# _准重言式恰是经典命题逻辑C2 中的重言式 ,从而也等于C2 中的定理 ,即QT(K# ) =T(C2 ) ... 研究赋值格为非线性序的一种非经典逻辑系统K# .在该系统中 ,格结构不同于Boole代数 ,蕴涵算子→取Kleene_Dienes算子RKD.得到若干结果 ,特别是K# _准重言式恰是经典命题逻辑C2 中的重言式 ,从而也等于C2 中的定理 ,即QT(K# ) =T(C2 ) =Φ├ . 展开更多

关键词 FUZZY逻辑 Kleene-Dienes蕴涵算子 Wang Guojun蕴涵算子 准重言式 α-重言式 α-modus ponens 险象识别格 险象识别逻辑系统

下载PDF 职称材料

直觉模糊命题逻辑公式的真度

9

作者 吴凤干 《金陵科技学院学报》 2006年第4期12-15,共4页

利用概率测度来定义直觉模糊命题逻辑公式A的α-真度,研究α-真度与α-重言式的关系,推理规则以及真度值在[0,1]中的分布;把王国俊教授关于一维赋值格上的重言式理论和真度理论通过加上一定的约束条件推广并应用到二维赋值格上。

关键词 直觉模糊命题逻辑 α-真度 α-重言式

下载PDF 职称材料

赋值格为菱形格的4值逻辑系统GR_4~1

10

作者 郑亚林 白永成 王刚 《陕西理工学院学报（社会科学版）》 1998年第6期6-8,共3页

研究赋值格为非线性序，蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14，得到若干结果．特别是，在系统GR14中，α－MP规则都成立（α＞0）；GR14重言式必是GR14-准重言式，GR14-准重言式必是C2-重言式，即一个公式是GR14中... 研究赋值格为非线性序，蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14，得到若干结果．特别是，在系统GR14中，α－MP规则都成立（α＞0）；GR14重言式必是GR14-准重言式，GR14-准重言式必是C2-重言式，即一个公式是GR14中的重言式当且仅当它既是I-重言式又是J-重言式，即． 展开更多

关键词 FUZZY逻辑 Gaines-Rescher蕴涵算子 α-重言式 α-MP规则

下载PDF 职称材料

直觉模糊命题逻辑公式的概率真度 被引量：1

11

作者 陈图云 李慧玲 《辽宁师范大学学报（自然科学版）》 CAS 北大核心 2006年第4期388-389,共2页

定义了直觉模糊命题逻辑公式的概率α-真度,讨论了公式的σ-真度与σ-相似度之间的关系,并证明了基于σ-真度的公式的推理规则,最终获得与王国俊教授关于一维真值逻辑公式的积分真度理论类似的结果.

关键词 模糊逻辑 直觉模糊命题逻辑 α-重言式

下载PDF 职称材料

Fuzzy逻辑新进展

12

作者 郑亚林 《宝鸡文理学院学报（自然科学版）》 CAS 2000年第1期12-15,26,共5页

介绍了最新发展起来的一种Fuzzy命题逻辑。

关键词 FUZZY控制 Fuzzy推理 FUZZY逻辑 α-重言式

下载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 职称材料

基于正则蕴涵算子的条件α-重言式理论

14

作者 张安英 于兴江 张兴芳 《鲁东大学学报（自然科学版）》 2007年第2期104-107,共4页

在基于正则蕴涵算子的命题逻辑系统中给出了公式的条件α-重言式的概念,讨论了它们的性质,并分别在Lukasiew icz逻辑系统、Go¨del逻辑系统、乘积逻辑系统、L*逻辑系统及相应的n值逻辑系统中研究了条件α-重言式的分布.

关键词 正则蕴涵算子 三角模 条件α-重言式 模糊逻辑

下载PDF 职称材料

对系统H_α中F(S)分划的一种改进 被引量：1

15

作者 于鸿丽 《西安文理学院学报（自然科学版）》 2007年第1期73-76,共4页

研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种不同的广义重言式,即[0]-T(H12),[α2]-T(H12),[(α2)+]-T(H12),[α]-T(H12),[α+]-T(H12),T(H12)(α∈(0... 研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种不同的广义重言式,即[0]-T(H12),[α2]-T(H12),[(α2)+]-T(H12),[α]-T(H12),[α+]-T(H12),T(H12)(α∈(0,1)) 展开更多

关键词 模糊命题演算 系统Hα 可达α+-重言式 分划

下载PDF 职称材料

修正的Kleene系统中的广义重言式理论 被引量：26

16

作者 吴洪博 《中国科学（E辑）》 EI CSCD 北大核心 2002年第2期224-229,共6页

将王国俊修正的Kleene系统中引入的广义重言式理论进行扩充和推广,引入了可达α+-重言式等概念.主要结果是:（1）分别在系统(?),W和Wk中得到了公式集F（S）关于(?)同余的分划;（2）在系统Wk中,对任一公式最多进行[k+1/2]次升级算法即可... 将王国俊修正的Kleene系统中引入的广义重言式理论进行扩充和推广,引入了可达α+-重言式等概念.主要结果是:（1）分别在系统(?),W和Wk中得到了公式集F（S）关于(?)同余的分划;（2）在系统Wk中,对任一公式最多进行[k+1/2]次升级算法即可得到重言式;（3）在(?)（W）中,重言式不可能由对非重言式进行有限次升级算法得到;（4）在系统(?)（W）中,（[（1/2）+]-MP）规则成立. 展开更多

关键词 Kleene系统 广义重言式理论 逻辑系统 可达α^+-重言式 升级算法 分划 α-矛盾式 模糊命题演算

原文传递

逻辑系统,W,W_k中F(S)的一个分划及其升级算法的性质 被引量：9

17

作者 吴洪博 文秋梅 《陕西师大学报（自然科学版）》 CSCD 北大核心 2000年第2期12-17,共6页

研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于 同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公... 研究了逻辑系统W ,W ,Wk 中F(S)的分划问题及其升级算法的一些性质 .分别在W ,W ,Wk 中利用可达广义重言式的概念给出F(S)的一个关于 同余的分划 ,并证明了 :在W (W )中 ,重言式不可能由对非重言式利用升级算法得到 ;在Wk中 ,对任一公式最多进行 k + 12 次升级算法即可得到重言式 . 展开更多

关键词 命题演算 可达α^+-重言式 升级算法 逻辑系统

下载PDF 职称材料

系统H_α中F(S)的一个分划及一种升级算法 被引量：4

18

作者 于鸿丽 吴洪博 《模糊系统与数学》 CSCD 北大核心 2007年第4期16-21,共6页

研究王国俊提出的系统Hα中F(S)的分划问题,利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并给出了各类间的一种升级算法,证明在系统Hα中,重言式不可能由对非重言式进行有限次升级算法得到。

关键词 模糊命题演算 可达α^+-重言式 分划 升级算法

下载PDF 职称材料