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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Gdel中单个或两个原子生成公式的真度分布

以Goedel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。     

逻辑系统Gdel,Luk,L*中命题真度值的分布

分别研究了Gdel,Luk,L*逻辑系统中公式的真度的分布情况,得到了公式的真度集均为[0,1]∩Q的重要结论。     

蕴涵算子族R（q，p）-LGN及其三I支持算法

给出了一族新的左连续三角模族T_（q,p）-LGN族及其伴随蕴涵算子族R_（q,p）-LGN,它包括Lukasiewicz蕴涵算子、Gödel蕴涵算子及R0蕴涵算子; 提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族R_（q,p）-LGN的FMP模型的三I支持算法。     

泛逻辑学中UB代数系统的(∈,∈∨q)-fuzzy滤子

何华灿教授给出了理想状态下的泛逻辑学的形式演绎系统β,并证明了该系统的可靠性。并且提出了理想状态下的泛逻辑学对应的代数系统-UB代数,并讨论了它们的性质。在以上这些结果的基础上,引入UB代数的(∈,∈∨q)-fuzzy滤子和(∈,∈∨q)-fuzzy关联滤子的概念,获得了它们的若干等价刻画,证明了(∈,∈∨q)-fuzzy关联滤子的扩张定理。     

泛逻辑学中UB代数系统的fuzzy滤子

文献[2]给出了理想状态下泛逻辑学的形式演绎系统!,证明了此系统是可靠的。文献[3]提出了在理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数。文献[5]研究了泛逻辑学中UB代数系统的若干性质。在文献[3,5]的基础上,进一步讨论了UB代数fuzzy滤子与商代数。     

新的等价类划分算法—计数法

目前,基于基数排序的等价类划分算法有较低的时间复杂度但存在以下不足：属性值跳跃性大时会产生大量空队列;排序后仍需O（|P‖U|）的时间才实现划分,求出等价类,排序没能发挥应有作用。为此,设计了一种新算法,通过属性值映射避免大量空队列产生,通过增加一个记录等价类长度信息的计数数组,排序后仅需O（|U|）就可实现划分,求出等价类。整个算法时间复杂度为O（|C‖U|）,空间复杂度为O（|U|）,为求等价类划分提供了一个新的解决办法。     

解释模型类理论及其极小三I-算法

首先在多类（many-sorted）一阶形式系统Lukms、Gödms,∏ms和L^*ms中通过引入多类一阶模糊语言Lms的解释模型类及基于解释模型类的α-逻辑有效公式的概念,建立了多类一阶模糊语言的解释模型类理论;然后,基于上述理论探讨了模糊推理算法（CRI及三I算法）与其理论Г-推理的关系,从而进一步奠定了模糊推理的理论基础,同时得到一种新型的模糊推理算法,称为极小三I算法。     

多值逻辑系统Hα中的子代数理论

系统H_α是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统。论文研究了多值逻辑系统H_α中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统H_α的进一步研究奠定了基础。