首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
一阶格值逻辑系统FM的语法问题   总被引:6,自引:1,他引:6  
徐扬  秦克云  宋振明 《科学通报》1997,42(10):1052-1055
文献[1~3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:  相似文献   

2.
高恒珊 《科学通报》1986,31(12):884-884
已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5~*而言讨论了两种语义的相互可转化性。S5~*在作者文献[3]和文献[4]中用S_5~*  相似文献   

3.
实二次数域类数h(K)=1问题   总被引:1,自引:1,他引:0  
张贤科 《科学通报》1992,37(22):2017-2017
利用文献[1]等关于丢番图方程的结果和连分数等理论,本文对实二次域K,特别是其中的ERD型域,将给出一系列关于理想类数h(K)=1和h(K)>1的判定定理。实二次域类数问题自从Gauss提出猜想以后,文献很多。例如陆洪文在文献[2—4]中有关于类数为1问题的很深刻的结果。我们在文献[5]中决定了类群的子群特别是类数的因子。对ERD型二次域,最近有许多结果(可见文献[6]及所引结果),但问题也远未解决。  相似文献   

4.
Hopf余模余代数的对偶定理   总被引:3,自引:1,他引:3  
王栓宏 《科学通报》1994,39(4):298-298
Blattner和Montgomery在文献[1]中讨论了Hopf模代数的对偶定理.此定理概括了VonNeumann代数的交叉余积的对偶.早在1977年,Molnar在文献[3]中给出了Hopf模代数的对偶概念Hopf余模余代数,并讨论了其性质.但关于Hopf余模余代数的对偶定理至今未见,它具有与文献[2]同等的意义.本文将通过定义左(右)Smash余积,在Hopf代数H有限维时,给出了这一对偶定理:若H~*在H×_H~*~LH~*上的右余作用为右强余内的,那么(C×H)×H~*≈C(?)(H×H~*).  相似文献   

5.
关于两参数Markov过程的强芽Markov性   总被引:1,自引:0,他引:1  
罗首军 《科学通报》1986,31(23):1772-1772
本文把文献[1]所定义的关于单参数Markov过程强芽Markov性的概念移植到两参数Markov过程(即文献[2]中的~*-Markov过程)中,并得到了~*-Markov过程关于停线的两种强芽Markov性.同时,也证明了~*-Markov过程具有文献[3]意义下的强Markov性,且更具普遍性。此外,在文献[4]的基础上,证明了两参数Markov过程关于平面上任何开集具有芽Markov性,从而得到了文献[2]所希望的结果。  相似文献   

6.
格蕴涵代数的滤子与结构   总被引:16,自引:0,他引:16  
刘军  徐扬 《科学通报》1997,42(10):1049-1052
为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3~5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子.  相似文献   

7.
吕健安 《科学通报》1988,33(10):727-727
对相当广泛的一类命题模态逻辑系统S来说,其相应的量词逻辑系统S~*关于Rasiowa和Sikorski型代数语义的完全性定理,可以像文献[1]那样,通过验证性质(E)去证明。但是,除极少数系统外,(E)的验证往往是十分困难的,从而对大多数量词模态系统来说,其代数语义完全性的证明依然是个问题。Lemmon在文献[2]与[3]中的工作和高恒珊在文献[4]  相似文献   

8.
张伦传  马吉溥 《科学通报》1996,41(18):1636-1638
如所周知,遗传及全遗传C~*-子代数在C~*-代数的Morita等价理论及相关课题研究中起着很重要的作用。Edwards在文献[3]中把遗传C~*-子代数概念推广到了非结合代数——JB代数中,并获得了 命题A(文献[3],定理2.3)设A是JB-代数,则A的遗传JB-子代数与A的二次理想(即内理想)一致。 最近Edwards与Rttimann在文献[4]中证明了 命题B(文献[4],推论2.2) 设A是JB-代数,B为其JB-子代数,则B是A的二次理想(内理想)的充要条件是:B~(*+)中的任意正线性泛函到A~(*+)中的保范扩张唯一。 本文从此出发,给出了JB-子代数成为遗传JB-子代数的若干充要条件。进而又给出了全遗传JB-子代数的一个刻画。  相似文献   

9.
庄勤 《科学通报》1983,28(6):340-340
一、引言对称群正则母单位在现代物理中,如超核、重子结构、FP系数等问题中应用越来越多。应用母单位处理大群乘积约化等问题也是一个有前途的方向。1962年的文献[1]和1982年的文献[3]给出了[λ]=[2~a1~b]、[4~a3~b2~c1~d]和[5~a4~b3~c2~d1~e]几个较低对称型下的母单位表达式。表达式中的待定系数C_K~[λ]和由一个方程组确定,而这些方程的系数阵是由文字a、b、c…组合而成不能上机,而手解化简高于5元的就几乎不可能。对称类型越高困难越大。本文给出一种方法,对任意大的N任意高的对称型下的正则母单位都可以直接写出。  相似文献   

10.
关于数的代数无关性的判别法则   总被引:1,自引:0,他引:1  
朱尧辰 《科学通报》1987,32(19):1447-1447
在本文中,我们证明了一个关于复数或p-adic数的代数无关性的判别法则,它分别蕴含了文献[1—3](在复数情形)以及文献[4](在p-adic数情形)中的判别法则。应用它可以给出缺项级数值的超越性及代数无关性的一般性结果(见文献[5])。  相似文献   

11.
彭联刚 《科学通报》1991,36(4):247-247
设A是代数闭域k上基本、连通的有限维遗传代数,_AT是倾斜左A-模,B=End_AT是倾斜代数。我们熟知,当A是tame型时,_AT有预投射直和项和预入射直和项当且仅当B是有限表示型代数(见文献[1]命题5.7或文献[2]中4.1)。但当A是一般遗传代数时,是否有相应的结果,在此之前,一直是公开问题(见文献[1]中5.7)。本文给出了这个问题的完全刻化。得到  相似文献   

12.
邹东雅 《科学通报》1989,34(7):490-490
关于两指标过程各马氏性之间关系的问题,已有一些讨论,发现其中有些等价有些不等价。比如文献[1]举出了一个反例,说明了*-Markov性与宽过去Markov性是不等价的,从而推翻了以前关于它们等价的结论。关于*-Markov性与Lévy Markov性的一个结论是:设X是*-Markov过程,则它关于任意开集DR_+~2,有宽Lévy Markov性。我们要问:如  相似文献   

13.
陈吉象 《科学通报》1997,42(15):1595-1598
同伦单态在文献[1]和[2]中被提出以后已成为同伦论的一个经典论题.本文引进同伦正则单态的概念,它严格介于同伦单态与同伦等价之间,并且在某种意义下刻划了同伦等价的一个特征.本文在点标拓扑空间的范畴Top~*中讨论,所有基点与常值映射均用*表示.范畴C的一个射j:E→A称为正则单态,如果存在两个射f,g:A→B(对某个B)使得j是f与g的等化子,即fj=gj,且对满足fh=gh的任意射h:X→A,存在唯一的射k:X→E使得jk=h.在Top~*的同伦范畴HTop~*中也就有了正则单态的概念.我们定义一个稍有差别的同伦正则单态的概念如下:  相似文献   

14.
在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下:u_[N_1]×u_[N_2]=sum from [M] ((F_(N_1)~M)×(N_2)×u_[M])由于A是Finitary环,上式右端是有限和.这里F_(N_1N_2)~M是M的适合L(?)N_2且M/L(?)N_1的子模L的个数.Hall代数(?)(A)是有单位元1=u_[0]的结合环.为简便,总假定A是有限域k上的有限维代数.所有的有限A模构成的子范畴记为mod-A.由文献[1~3]可知,Dynkin型或仿射型遗传代数的Hall代数与相应的Kac-Moody Lie代数及其量子包络代数均有深刻的内在联系,而Hall多项式在1处的赋值恰好给出了对应Lie代数的结构系数.在文献[2]中Ringel猜测:任意有限表示型k-代数总存在Hall多项式.Ringel证明了表示直向代数有Hall多项式.Guo等人证明了mod-A中没有短圈的代数A有Hall多项式.在这篇短文中,我们证明了mod_pA中没有短链的有限表示型自入射代数A存在Hall多项式.  相似文献   

15.
彭联刚 《科学通报》1993,38(8):676-676
本文讨论的代数都是某个固定代数闭域k上的有单位元的有限维结合代数,并且是基本的按照文献[1],一个无限表示型代数A称为mild代数,如果对A的任意非零理想I,有A/I是有限表示型代数.我们知道,如何判别一个代数是有限表示型代数是困难的.所以,通过某种简单的方法得到一大类非平凡的有限表示型代数是有兴趣的.文献[2]给出了所有的具有预  相似文献   

16.
张福基 《科学通报》1979,24(21):966-966
本文旨在证明Coates图的两个消去定理,正如文献[1]中所表明的那样,把图论技术用到计算方法上是卓有成效的。 本文采用文献[2]中的一切符号与术语,只是各有向边的重量不必一定是数,可以是任意环(如多项式)之元,我们的讨论从推广文献[2]中定义3.2关于1-因子的概念开始。考察1-  相似文献   

17.
诱导空间中内部算子的层次刻划   总被引:4,自引:0,他引:4  
易耘 《科学通报》1989,34(15):1124-1124
王国俊在新近出版的专著中提出了一个公开问题:在诱导空间中,不分明集的内部(闭包)可否表为在它各层截集的内部(闭包)上取相应常值的不分明集之并。 在文献[2]中关于完全分配律与上半连续映射之间有一个有趣的结果(文献[2]引理3):利用代数上完全分配律取代分析中上半连续性的要求,给出了一个映射的关系式。应用此式  相似文献   

18.
曹志强 《科学通报》1985,30(18):1369-1369
关于坡矩阵的特征向量问题,最早获得解决的是布尔矩阵,于1966年由Blyth解决的。而后,作者解决了分配格矩阵的情况。并改进为与Blyth的定理完全一致的形式。在文献[3]中对于一些特殊的坡矩阵也给予了彻底的解决。本文是文献[3]的继续,主要讨论乘法运算不是半格运算的坡上的矩阵特征向量问题。例如:([0,1];V,*)上的矩阵,其中*可以是  相似文献   

19.
曲钦岳 《科学通报》1981,26(23):1436-1436
在文献[1]和[2]中,我们已经论证了可能存在两类中子星——由正常中子物态构成的正常中子星和由反常中子物态构成的反常中子星。文献[1]和[2]用的都是均匀星体模型近似。文献[3]讨论了非均匀星体模型,也得到了同样的结论。 按照李政道等所提出的反常核态理论,自然界可能存在一种强作用的同位标量O~ 介子,它与核子间的耦合相当于将核子的静止质量由m_n换成  相似文献   

20.
陈炳辉 《科学通报》1981,26(19):1161-1161
设L|K是代数扩张,B是L的Hensel赋值环,问在什么条件下,A=B∩K也是Hensel的?1942年Kaplansky和Schilling提出这个问题,并对一阶的情形给出了一个充分条件。1966年代执中对有限阶的情形给出了一个充分条件,1967年Ribenboim对一阶的情形改进了文献[1]的结果,1968年Endler对一阶的情形又改进了文献[3]的结果,并给出了另  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号