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

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

泛逻辑泛运算模型之间的关系

研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x, y, h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0, 0.75), 零级泛或运算S(x, y, h)=(min(xm+ym, 1))1/m, N(x)=(1-xm)1/m时, T, S, N形成一个强De Morgan三元组。进一步证明了一级泛与运算模型T(x, y, h, k)、一级泛或运算模型S(x, y, h, k)与N(x)=(1-xn)1/n满足De Morgan定律;特别当h∈(0, 075), 一级泛或运算模型S(x, y, h, k)=(min(xnm+ynm, 1))1/nm, N(x)=(1-xnm)1/nm时, T, S, N形成一个强De Morgan三元组。     

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

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

泛逻辑的一级泛运算模型的代数性质

论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h∈(0,0.75),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个MV-代数;当h∈(0.75,1),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个乘积代数。进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。     

修正的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)中。     

模糊推理中一级泛蕴涵的信息约束研究

基于线性特征测度的定义,本文详细讨论了在模糊推理中一级泛蕴涵满足信息有界性原则的条件,并得出结论:如果命题真值具有正的测量误差,则当命题间是相斥相关,且其广义相关系数h∈[0.5,((n+1)-(n2-n+1)1/2)/2]以及命题间是相克相关(h∈[0,0.5])时,一级泛蕴涵算子满足信息有界性原则;如果命题真值具有负的测量误差,则当命题间是相克相关,且其广义相关系数h∈[0,((n+1)-(n2-n+1)1/2)/2]时,一级泛蕴涵算子满足信息有界性原则.这一结论对于在实际控制应用中,如何给定命题间的广义相关系数h值具有重要的指导意义.     

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

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

基于零级泛与运算的谓词形式系统及其完备性

泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统(V)ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统(V)ULh∈(0.1],并证明其完备性定理.从而得到系统(V)ULh∈(0,1]的语义和语构是和谐的.     

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

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

逻辑系统Hα中广义语义MP规则证明的改进

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

The completeness and applications of the formal system B

Since the formal deductive system (?) was built up in 1997, it has played important roles in the theoretical and applied research of fuzzy logic and fuzzy reasoning. But, up to now, the completeness problem of the system (?) is still an open problem. In this paper, the properties and structure of R0 algebras are further studied, and it is shown that every tautology on the R0 interval [0,1] is also a tautology on any R0 algebra. Furthermore, based on the particular structure of (?) -Lindenbaum algebra, the completeness and strong completeness of the system (?) are proved. Some applications of the system (?) in fuzzy reasoning are also discussed, and the obtained results and examples show that the system (?) is suprior to some other important fuzzy logic systems.     

MV代数的子代数及相关重言式之间的关系

对MV单位区间[[0,1]]和n-值MV代数[Ln]的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是：如果MV单位区间[[0,1]]的子代数[M]同构于n-值MV代数[Ln]的子代数,那么,存在正整数[m]满足[(m-1)|(n-1)]使得[M=Lm];如果[M]是MV单位区间[[0,1]]的子代数,那么或[M]为有限MV代数[Ln],或[M]为区间[[0,1]]上包含[{0,1}]的稠密集;若正整数[n-1]可分解为[(m1-1)(m2-1)?(mt-1)],其中[m1-1,m2-1,?,mt-1]是两两互素的正整数,则[Ln]是[Lm1,Lm2,?,Lmt]生成的MV代数;[T([0,1])=n=2∞T(Ln)],其中[T(M)]表示MV代数[M]上全体重言式之集合。     

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

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

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

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