陈图云, 张宇卓, 廖士中[1]2003年在《区间值模糊命题逻辑的最大子代数及其广义重言式》文中进行了进一步梳理将 S-型蕴涵算子改为 R0 -蕴涵算子 ,从而找到区间值模糊逻辑 I[0 ,1]的一个最大子代数 IQ,进而将王国俊教授在逻辑系统 W中的广义重言式理论推广应用到 IQ 中。
张宇卓[2]2003年在《区间值模糊命题逻辑及其广义重言式》文中进行了进一步梳理本文首先从有限区间值模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质；通过将S-型蕴涵修改为R0-蕴涵，找出区间值模糊命题逻辑的最大子代数，并在其中将王国俊教授的广义重言式理论进行推广，讨论了区间值模糊命题逻辑的广义重言式的性质及分类，并给出局部赋值的广义重言式定义，在其中讨论重言式的升级算法。由此说明王国俊教授关于一维赋值格的理论需要加一定的限制条件才能推广到二维赋值格上去,而这一限制条件有着显而易见的实际背景,说明这样的限制是十分必要和不可避免的。
陈图云, 李晓冰[3]2004年在《区间值模糊命题逻辑的广义拟重言式及其分类》文中研究指明通过定义规范区间值模糊命题逻辑的→S蕴涵算子,讨论了区间值模糊命题逻辑广义拟重言式的分类,获得了与王国俊的一维赋值格广义重言式理论类似的结果.
汪德刚[4]2005年在《模糊模态命题逻辑及其广义重言式》文中研究说明随着模态逻辑在知识表示及知识推理中的广泛应用,关于模态逻辑的研究越来越引起人们的重视。本文首先讨论了广义泛代数理论,给出了变维运算和广义型的定义进而给出了广义泛代数的定义。然后给出了模糊模态命题逻辑的概念,定义了模糊模态命题运算,在赋值格中定义了(?),∧,∨,→,□,◇的运算,给出了一种模糊化的克里普克语义,α—重言式和α—蕴涵的定义,在此基础上讨论了模糊模态命题逻辑的语义理论,根据模糊关系R的不同情况分别讨论了相应的模糊模态命题逻辑公式的归约。然后以广义泛代数理论为基础将L_n,W及(?)系统进行了扩充,给出了ML_n,MW及M(?)系统的定义,将王国俊教授在L_n,W及(?)系统中的广义重言式理论推广到了ML_n,MW及M(?)系统,并讨论了相应系统中广义重言式的性质及其分类。在ML_n系统中只有一种α—重言式,即1/2—重言式;系统ML_(2n)中只有一种α—重言式,即n/(2n-1)—重言式;系统MW中只有叁种不同的广义重言式,即1/2—重言式,(1/2)~+—重言式和重言式;系统M(?)中只有叁种不同的广义重言式,即1/2—重言式,(1/2)~+—重言式和重言式。最后讨论了系统M(?)中∑—广义重言式的性质。本文表明王国俊教授关于一维赋值格的模糊命题逻辑广义重言式理论需要将命题逻辑代数进行扩充才能推广到模糊模态命题逻辑中去,而且这种推广对于继续研究模糊模态命题逻辑的推理是有帮助的。
李晓冰[5]2005年在《区间值模糊命题逻辑的广义拟重言式及其真度》文中认为本文定义了规范区间和区间值模糊命题逻辑的→G蕴涵算子,研究了区间值模糊命题逻辑广义拟重言式及其分类. 在此基础上给出局部赋值的广义拟重言式定义,并在其中建立了升级算法. 最后定义了a ? 真度,并研究了区间值模糊命题公式的真度值在[0,1] 中的分布. 获得了与王国俊教授一维赋值格类似的结果。本文表明王国俊教授一维赋值格的理论需要在蕴涵算子和重言式等方面做大量的工作,才能推广到二维赋值格上去,而这些工作有着显而易见的实际背景,说明这样做是十分必要和不可避免的.
李晓冰, 徐扬[6]2007年在《区间值模糊命题逻辑的∑-广义拟重言式》文中提出通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I22n和I22n+1中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.
卫利萍, 薛占熬, 岑枫[7]2009年在《Gdel区间值逻辑系统的广义拟重言式》文中进行了进一步梳理吴洪博博士将王国俊教授在R0逻辑系统中的广义重言式理论推广到Gdel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个分划。将这一理论推广到区间值模糊命题逻辑系统中,定义了两个新的区间同构映射,最终得到区间值逻辑系统F(S)的一个分划。
薛占熬, 卫利萍, 岑枫, 李霞[8]2009年在《Lukasiewicz区间值命题逻辑的广义重言式》文中进行了进一步梳理给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.
周丽莉[9]2007年在《两种模糊命题逻辑的公式的概率真度》文中提出本文利用概率测度来度量模糊命题逻辑公式的真度，定义了公式的α-真度，并研究了其相关性质。首先在[0，1]赋值格上研究公式的α-真度，定义了α(?)重言式，讨论了α(?)重言式与α-重言式，及与公式的α-真度之间的关系，研究了α-真度值在[0，1]中的分布，并在以上内容的基础上定义了公式的α-相似度的概念，进而导出了全体公式集上的一种伪距离，为[0，1]赋值格上模糊命题逻辑的近似推理理论提供了一种可能的框架。由于考虑到二维逻辑既能处理全序信息，又能处理不可比信息，本文又研究了区间值模糊命题逻辑公式的α-真度及其性质，试图为二维真值模糊逻辑的语义研究寻求一条新的途径。本文定义的公式的α-真度不同于王国俊教授定义的积分真度，但最终结果可与王国俊教授的积分语义学统一起来。
陈图云, 张宇卓[10]2002年在《有限区间值模糊逻辑代数及其广义重言式》文中研究表明讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性
参考文献：
[1]. 区间值模糊命题逻辑的最大子代数及其广义重言式[J]. 陈图云, 张宇卓, 廖士中. 模糊系统与数学. 2003
[2]. 区间值模糊命题逻辑及其广义重言式[D]. 张宇卓. 辽宁师范大学. 2003
[3]. 区间值模糊命题逻辑的广义拟重言式及其分类[J]. 陈图云, 李晓冰. 辽宁师范大学学报(自然科学版). 2004
[4]. 模糊模态命题逻辑及其广义重言式[D]. 汪德刚. 辽宁师范大学. 2005
[5]. 区间值模糊命题逻辑的广义拟重言式及其真度[D]. 李晓冰. 辽宁师范大学. 2005
[6]. 区间值模糊命题逻辑的∑-广义拟重言式[J]. 李晓冰, 徐扬. 辽宁师范大学学报(自然科学版). 2007
[7]. Gdel区间值逻辑系统的广义拟重言式[J]. 卫利萍, 薛占熬, 岑枫. 计算机工程与应用. 2009
[8]. Lukasiewicz区间值命题逻辑的广义重言式[J]. 薛占熬, 卫利萍, 岑枫, 李霞. 河南师范大学学报(自然科学版). 2009
[9]. 两种模糊命题逻辑的公式的概率真度[D]. 周丽莉. 辽宁师范大学. 2007
[10]. 有限区间值模糊逻辑代数及其广义重言式[J]. 陈图云, 张宇卓. 辽宁师范大学学报(自然科学版). 2002