Gdel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统 W,W,Wk中的广义重言式理论进行推广并应用到了Goo¨ del逻辑系统 G,G,Gn 中。主要结果是 :在逻辑系统 G,G中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统 Gn 中 ,对任一公式最多进行 n次升级算法即可得到重言式 ;利用可达广义重言式概念和 α-矛盾式概念分别在 G,G,Gn 中给出了 F( S)的一个关于 同余的分划。     

N-半单代数中的剩余格结构

在N-半单代数的中心幂等元构成的集合G(R)中引入了"→、*、、Θ"运算和一个二元关系"≤",证明"≤"构成G(R)上的偏序关系,和Θ分别是偏序集(G(R),≤)上的上确界运算和下确界运算;进而证明了(G(R),,Θ,→,1,0)是剩余格。在此基础上得到了N-半单代数可以构成与M TL代数,BL代数,G-代数,G oguen代数,BR0-代数和R0-代数等价的代数系统,从而将模糊逻辑与结合代数有机地结合起来。     

导集运算及其条件的独立性

对点集拓扑学中由导集运算决定拓扑的方法进行了讨论,给出了导集运算的定义,导集运算决定拓扑定理,并讨论了导集运算中条件的相互独立性.进一步完善了点集拓扑学中有关导集概念的内容.     

命题逻辑系统(￡)*n中公式关于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在模糊命题逻辑系统(￡)*n中引入了公式集相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质.并利用真度关系:τΓ(A) τΓ(A→B)≤1 τΓ(B)在模糊命题逻辑系统(￡)*n中的公式集F(S)上引入相对于有限理论的Γ-伪距离概念,从而为在模糊命题逻辑系统(￡)*n中建立相对于有限理论的近似推理框架奠定了基础.     

基于完备BR0-代数的全蕴涵三I算法

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应用于$R_0$-单位区间$\overline{W}$,不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法.     

基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

内导集与内导集运算

给出了内导集的定义,证明了其性质,并且讨论了内导集与导集之间的关系.随之定义了内导集运算,利用内导集运算定义了拓扑,并讨论了内导集运算条件之间的独立性.     

非交换BR_0代数的剩余格表示

为了使非可换逻辑代数N BR0具有剩余格结构,提出两种剩余格结构N RL和CN RL,建立N BR0代数的N RL和CN RL表示。最后讨论了CN RL上的λ结构和γ结构,得到N BR0代数的表现定理。     

R_0代数的∨-半格蕴涵表示形式及其简化

通过探究R0代数公理条件的内在联系,给出了R0代数的∨-半格蕴涵表示形式。同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的∨-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征。     

可除剩余格中的消去律

首先,通过对可除剩余格性质的进一步探究,给出了可除剩余格中的蕴涵左消去律;其次,结合剩余格中"′"运算的性质,证明了正则条件下的蕴涵右消去律的存在性;最后,根据""和"→"的伴随性质,进一步探讨了正则可除剩余格中的乘法消去律的表现形式。