修正的G(o)del逻辑系统中子代数的广义重言式理论

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

系统Hα中的子代数的广义重言式理论

将多值逻辑系统H_α（0≤α≤1）中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H_1/2的序稠密子代数中给出F（S）的一个分划,并把系统H_1/2中的相关结论推广到系统H_α（0≤α≤1）中。     

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

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

Gainse-Rescher系统基于子代数的广义重言式

将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集[F(S)]的一个分划。     

修正的Kleene系统中子代数的广义重言式理论

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

修正的Gödel逻辑系统中子代数的广义重言式理论

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

逻辑系统RDP中子代数的广义重言式理论

将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念,并讨论其序稠密子代数的广义重言式理论     

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

讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和[α-]矛盾式概念在[RDP]的序稠密子代数中给出[F(S)]关于[～]同余的一个分划。     

Gödel系统中一类子代数上的广义重言式理论

将Gödel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于G同余的一个分划。     

Godel系统中一类子代数上的广义重言式理论

将Godel辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F（S）关于┑同余的一个分划。     

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

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

Gödel逻辑系统中1/2-子代数上的广义重言式理论

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

基于零级泛与运算的泛逻辑中广义重言式理论

对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当c∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0+-重言式和重言式;当h=0时,关于Ih=0而言,F(S)中存在0、1可达重言式,当α∈(0,1),不存在α-重言式、α+-重言式和可达α-重言式;用h=0.5时的广义重言式对h∈(0,0.75)时的广义重言式进行了刻画。     

RG-代数的子代数与广义重言式理论

对Godel逻辑系统中的广义重言式理论进行推广,讨论了R_G-代数的各类无限子代数上的广义重言式,证明了在子R_G-代数中,Godel逻辑系统中存在着可数多个不同的广义重言式。     

泛逻辑的基本形式系统中的广义重言式理论

本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的一个分划;给出[α]-MP(α∈I_Q)规则成立的一个充分条件。     

G(o)del区间值逻辑系统的广义拟重言式

吴洪博博士蒋王国俊教授在R0逻辑系统中的广义重言式理论推广到Godel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个分划.将这一理论推广到区间值模糊命题逻辑系统中,定义了两个新的区间同构映射,最终得到区间值逻辑系统F(S)的一个分划.     

Gdel区间值逻辑系统的广义拟重言式

吴洪博博士将王国俊教授在R0逻辑系统中的广义重言式理论推广到Gdel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个分划。将这一理论推广到区间值模糊命题逻辑系统中,定义了两个新的区间同构映射,最终得到区间值逻辑系统F(S)的一个分划。     

修正的G(o)del系统的子代数中F(S)的分划及升级算法

将修正的G(o)del逻辑系统中广义矛盾式理论推广,讨论了修正的G(o)del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划.     

修正的Gdel系统的子代数中F(S)的分划及升级算法

将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。     

泛逻辑的中极形式系统中的广义重言式理论

论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的中极形式系统中,对于犤0,1犦内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩(0,1)时,犤α犦-MP规则与犤α犦-HS规则不成立。