Lukasiewicz区间值命题逻辑的广义重言式

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

多值逻辑系统中的子代数与广义重言式

研究了五个重要的多值逻辑系统Ｌｎ,Ｋｎ,Ｓｎ,Ｇｎ和Ｗｎ,讨论了这些系统子代数的特征及计数问题,以及这些系统的广义重言式理论,给出了这些系统子代数的特征性质与计数公式,证明了Ｌｎ,Ｓｎ,Ｇｎ中可达α－重言式类类不空,并探明了它们与经典逻辑系统重言式的关系。     

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

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

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

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

多值逻辑系统中的子代数与广义重言式

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

有限扰动模糊逻辑代数及其广义重言式

讨论了有限扰动模糊逻辑代数，给出了判别其子代数的充要条件：将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中，证明了在I^2n中不存在（1，0）-重言式，广义重言不随系统的增大而增多，广义重言式前缀是不灵敏的。     

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

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

逻辑系统(-W),W,Wk中F(S)的一个分划及其升级算法的性质

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

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

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

修正的RDP逻辑系统中的广义重言式理论

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