有限区间值模糊逻辑代数及其广义重言式

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

有限Atanassov逻辑代数及其广义重言式

讨论了有限Atanassov直觉模糊逻辑代数，给出判别其子代数的充要条件，并将王国俊教授在逻辑系统W，W^-，Wn中的广义重言式理论推广并用到Atanassov逻辑中，证明了在Atanassov逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀（α，β）具有不敏感性。     

有限扰动模糊命题逻辑系统的∑-广义矛盾式

为了克服经典一维模糊逻辑系统的不适应性，提出了扰动模糊命题逻辑的概念．用二维扰动模糊命题逻辑最大子代数I^2R的有限子集I^2Rn取代最I^2R，并在其中引入∑-广义矛盾式理论．结果表明：任意公式至多经过2n-μ＋δ次就可降级为矛昏式；证明了矛盾式表示定理，表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式．为模糊信息处理的方法和应用提供了新的理论基础．     

Gainse-Rescher逻辑系统中的广义重言式理论

将王国俊教授在逻辑系统Ｗ，Ｗ，Ｗｋ中的广义重言式理论进行推广，并应用到了Ｇａｉｎｓｅ－Ｒｅｓｃｈｅｒ逻辑系统Ｇｒ，Ｇｒ，Ｓｎ中，主要结果是：在逻辑系统Ｇｒ，Ｇｒ中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Ｓｎ中，对任一公式最多进行ｎ次升级算法即可得到重言式；利用可达广义重言式概念和ａ－矛盾式概念分别在Ｇｒ，Ｇｒ，Ｓｎ中给出了Ｆ（Ｓ）的一个关于一同余的分划。     

有限扰动模糊命题逻辑系统的Σ-广义矛盾式

为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础.     

逻辑系统H_α中的广义语义MP规则

将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中,讨论了H1逻辑系统中广义重言式理论的语义（[a]-MP）规则、语义（[a＋]-MP）规则,使得对Ha系统中的广义重言式有了更进一步的认识,另外,逻辑系统刀中的广义语义MP规则也成为其中的一个特例。     

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式，证明了当α为无理数时，没有可达α-重言式，进而给出了F(S)的一个分划．还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。     

区间值模糊命题逻辑的∑-广义拟重言式

通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.     

模糊时序逻辑的语义及其广义重言式

讨论了时序命题逻辑系统MPTL模糊化的问题，给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念，并讨论了广义重言式的分类．     

n值标准序列逻辑系统Sn的子代数及其重言式理论

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件，并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言式的充分条件．     

＊系统中的模糊演绎定理

研究了模糊命题演算的形式演绎系统L*以及在语义上相关的修正的Kleene逻辑系统,W,W,W     

区间值模糊命题逻辑的广义拟重言式及其分类

通过定义规范区间值模糊命题逻辑的→s蕴涵算子，讨论了区间值模糊命题逻辑广义拟重言式的分类，获得了与王国俊的一维赋值格广义重言式理论类似的结果。     

扰动模糊命题中的阿基米德表现定理

在扰动模糊逻辑命题及其算子的基础上．定义了复合生成子的概念．讨论了阿基米德扰动t-范和扰动t-余范．然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,同时对这些逻辑算子的性质做了较为系统的研究,进而给出阿基米德扰动t-范和扰动t-余范的表现定理．     

BL-代数的扰动模糊理想

利用扰动模糊集概念,研究BL-代数的扰动模糊理想的性质。引入了扰动模糊理想的概念并研究它的一些性质。通过扰动模糊理想构造了商BL-代数,并给出了扰动模糊同态基本定理。此外,给出了由扰动模糊集生成扰动模糊理想的方法。定义了扰动模糊理想的一些类型,研究它们间的一些关系。给出了扰动模糊Boolean理想、扰动模糊素理想、扰动模糊既约理想、扰动模糊超理想及扰动模糊Godel理想的一些刻画。     

命题模糊逻辑系统中公式的理论可证度

在命题模糊逻辑系统MTL的扩张系统Luk,God,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标--称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.     

命题模糊逻辑系统G(o)d中公式的理论可证度

基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统God中公式的理论可证度的计算公式,并研究了它的一系列性质。     

基于BL系统的演绎系统集代数的剩余格属性

在命题逻辑系统BL中提出了演绎系统的概念, 并且给出了由F(S)的子集生成演绎系统的方法, 证明了命题逻辑系统BL中演绎系统和结论之集的同一性; 其次, 在命题逻辑系统BL中证明了在包含偏序关系下所有演绎系统构成的集族D(F )中上, 下确界的存在性; 最后, 在D(F )中定义了二元运算∧,∨,*,→, 证明了集代数(D(F ),∧,∨,*,→,0,1)是满足可除性的完备剩余格。     

模糊扰动算子及其性质研究

在扰动模糊子集的基础上提出了两种模糊扰动算子 ,即边界模糊扰动算子 (B+ ,B·)和包含模糊扰动算子(I+ ,I·) ,定义了两种算子下区间值的偏格和格的概念 ,指出了两种运算的直观含义及某些性质     

BL命题逻辑系统的强同余关系及演绎系统

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念, 并引入强同余关系, 讨论BL系统中演绎系统和强同余关系之间的联系, 给出二者之间相互转换的方法, 并得到了二者之间相互转换的还原性.     

带Fuzzy外壳和Boole心脏的险象识别逻辑

结合新近发展起来的Ｆｕｚｚｙ命题逻辑的思想和组合线路险象识别技术的背景，改造Ｇｏｅｄｅｌ蕴算子和公式代数的赋值格，构造了另一种带Ｆｕｚｚｙ外壳和Ｂｏｏｌｅ心脏的险象识别逻辑，对其进行了语义地研究，得到了若干有趣的结果。