逻辑系统,W,W_k中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。     

完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

逻辑系统W,W,Wk中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义[α]-HS规则,语义[α+]-HS规则等概念,并对这些规则的性质进行讨论,进一步加强该系统中的Σ-(α-重言式)的相应结果,丰富该系统中Σ-(α-重言式)的内容,为进一步研究该系统提供一个有益的工具.     

16种基础R0-代数结构的相对独立公理系统

在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了16种基础R0-代数公理系统的相对独立性,同时指出了相应R0-代数结构的公理系统的相对独立性.     

逻辑系统-↑W，W，Wk中的广义语义HS规则和广义语义MP规则

研究模糊命题演算的形式演绎系统L及在语义上相关的修正的Kleene逻辑系统-↑W，W，Wk，引入语义[α]-MP规则，语义[α^ ]-MP规则，语义[α]-HS规则，语义[α^ ]-HS规则等概念，并对这些规则的性质进行讨论，进一步加强该系统中的∑-(α-重言式)的相应结果，丰富该系统中∑-(α-重言式)的内容，为进一步研究该系统提供一个有益的工具。     

R0-代数中一种混合运算的性质及L*系统的完备性

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的性质,并以此为工具利用Petr Hajek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了L*系统关于语义ΩW的完备性.     

由导集运算定义拓扑的方法

对点集拓扑学中由导集运算决定拓扑的方法进行了讨论,主要结果是,设X是一个集合,d*:P(X)→P(X)是集值映射,若d*满足:A,B∈P(X),(1)d*()=,(2)d*(A∪B)=d*(A)∪d*(B),(3)d*(d*(A))A∪d*(A),(4)d*(A)={x∈X x∈d*(A-{x})},则存在X的唯一拓扑T,使得在拓扑空间(X,T)中,A∈P(X),d(A)=d*(A).     

余Frame范畴中余积的构造

首先,在并半格中引入了上覆盖关系的概念,并以此为基础引入强并半格以及强并半格中上覆盖和C-滤子的概念,证明了强并半格S中全体C-滤子之族C Fil(S)是余Frame,讨论了简单上集值映射u:S→C Fil(S)的相关并半格同态性质;其次,证明了由一族余Frame{A_λ|λ∈Γ}的直积Π_(λ∈Γ)A_λ中只有有限个坐标非零的元素构成的子集A是强并半格,还证明了A是余Frame族{A_λ|λ∈Γ}在并半格范畴中的余积对象;最后,通过各个坐标集中的上覆盖关系在A中定义了上覆盖C~*,再结合简单上集值映射u:A→C~*Fil(A)和标准入射qλ:Aλ→Π_(λ∈Γ)A_λ(λ∈Γ),证明了强并半格A中由上覆盖C~*诱导的余Frame C~*Fil(A)是余Frame族{A_λ|λ∈Γ}在余Frame范畴中的余积对象.     

剩余交换律与剩余交半格及其相关性质

首先,给出了剩余交半格的概念,通过对其性质的研究,证明了剩余交半格中的所有正则元构成的集合是交半格,并举例说明了剩余交半格中的所有正则元构成的集合不是剩余交半格;其次,证明了满足剩余交换律:x?(x→y)=y?(y→x)的正则剩余交半格是Wajsberg代数;最后,由剩余交换律:x?(x→y)=y?(y→x)得出了L是满足剩余交换律的MTL代数当且仅当L是BL代数。     

WBR0-代数的构建与性质

通过对WBR0-代数中各条件的研究,首先讨论它们之间的独立性,进而将WBR0-代数进行简化.其次讨论WBR0-代数的性质及其分配性,并构造一个非BR0 -代数的WBR0-代数的结构说明了WBR0-代数不同于BR0-代数.同时该结构说明WBR0-代数不满足分配律.