命题逻辑公式的相似度与距离之研究

将Lukasiewicz模糊命题逻辑系统中公式A和B积分相似度ξ(A,B)与自然的距离ρ(A,B)的概念推广到模糊命题逻辑系统L*、G(o)d和∏中,并讨论了它们之间的关系.讨论的结果表明:在Lukasiewicz模糊命题逻辑系统中,它们之间的关系为:ξ(A,B)=1-ρ(A,B),而在G(o)d∏和L*中此关系不成立.最后还研究了这四个逻辑系统中公式的积分相似度和自然的距离的性质.     

四个命题模糊逻辑系统中公式真度的大小之比较

主要探讨了四个重要命题模糊逻辑系统Luk、Gd、Π及L*中公式真度的分布情况.首先在Luk、Gd、Π及L*中,分别计算了公式(p1p2)→p3,p1(p2→p3),(p1→p2)p3及p1→(p2p3)的真度;然后比较了其大小,其大小顺序为:τGd≤τL*≤τΠ≤τLuk,其中τG¨od,τL*,τΠ及τLuk分别表示系统Gd、L*、Π及Luk中公式的真度.     

Goldie*-补模的直和

称模M为G*-补模,若对于M的任意子模L,存在M的补子模N,使得(L+N)/L相似文献   

有限群的可解性（英文）

设H是有限群G的一个p子群.1H在G中满足Φ*性质,如果对G的任一非可解Frattini主因子L/K,|G:NG(K(H∩L))|是p的方幂;2H称为在G中Φ*嵌入的,如果存在G的次正规子群T使得HT是G的S拟正规子群且H∩T≤S,其中,S≤H在G中满足Φ*性质.这里主要利用Φ*嵌入子群进一步研究有限群的结构,特别地,得到了群G可解的一些新判别准则.     

∏k空间上JC*-代数的若干性质

讨论了∏k空间上一般JC*-代数及其商代数的C*-等价性,理想的对称性以及交换性条件等问题,得到了若干新结论.     

有限半正规的π——Sylow子群

利用有限半正规的∏_Sylow子群为工具得到了有限群G可解,p一可解、∏一可分的一些充分条件.     

环面上外可平面图的最小圈基

研究环面上2-连通外可平面图G在嵌入∏的面宽fw(G)≥2时的圈基理论;给出在面宽fw(G)≥2和边宽ew(G)＞m,m=max{li|1≤i≤f}时外可平面图G的最小圈基的结构,其中f记为∏的除Hamilton圈外的面迹数,l1,…,lf为∏的对应面迹的长;并证明了G的最小圈基与其不同伦的两条长度之和最短的不可收缩圈之间存在一一对应.     

NS*-拟正规子群与有限群的p-幂零性

设G是有限群,称群G的子群H为G的NS-拟正规子群,如果对于满足(p,|H|)=1的每个素数p和适合H≤L≤G的每个子群L,均有NL(H)包含L的某个Sylowp-子群。称群G的子群H为G的NS*-拟正规子群,如果G有正规子群K使得G=HK,且H∩K为G的NS-拟正规子群。本文主要讨论p阶及p2阶子群的NS*-拟正规性对群G的p-幂零性的影响,得到群G为p-幂零的若干充分条件。     

BR_0代数与FI代数的关系

研究了模糊命题演算形式演绎系统L*和与之在语义上相匹配的R0代数,以及基础R0代数和基础L*系统,提出了BR0代数的简化形式的概念,讨论了BR0代数与FI代数的相互关系.     

L0* -Lindenbaum代数的结构与性质

讨论了L*系统的等价简化形式系统L0*系统中Lindenbaum代数的结构与性质.证明了(1)L