量词模态系统的代数语义与Kripke语义——关于S5~*情形

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

具有Barcan公式的若干正规量词模态系统的代数语义

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

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

无界报酬半马氏折扣模型的初等方法

半马氏决策规划折扣模型已由许多作者所研究(如文献[1—5])。从所用的方法来看,有的用不动点定理(如文献[4]),有的用马氏位势理论(如文献[5]),有的先给出一些条件,然后从最优方程获得通常的结果(如文献[2])。这些证明均较冗长。本文是文献[6]的继续,对文献[4]中无界报酬半马氏折扣模型{S, (A(i), (i), i∈S), q, r, t, V_α},我们用初等的证明方法,反而比前述方法更快地获得了结果。这里S为一可列集;A(i)为非空集,(A(i),     

关于平面上宽过去马氏性的注记

一、引言和定义 关于两参数过程的马氏性,有各种不同的定义。这主要是因为所考虑的过去不同。即使只考虑宽过去,仍然有几种马氏性的定义。例如文献[1]中的*-马氏性;文献[2]中的宽过去马氏性;文献[3]中给出、文献[4]中略加改变的另一种宽过去马氏性(我们将称为弱的宽过去马氏性)。还有文献[5]中给出、文献[1]中略加改变的L-马氏性。在研究两参数随机微     

模态模型论中Bowen若干定理的反例和内插定理的失败

Kit Fine在文献[1]中证明了对于包含S_5的一些模态谓词演算而言,内插定理不成立,这与Bowen的结论相矛盾,并说,由于文献[2]“关于Robinson的联合无矛盾性定理(此定理为内插定理的主要依据——作者按)未给出详细证明,我们难于了解其错误所在。”事实上,Bowen的错误不在于其联合无矛盾性定理(文献[3]定理11.1,文献[2]定理10.1)、内插定理     

一类三次系统的奇点量公式和可积性条件,M(3)≥7

为了统一地处理实平面微分自治系统的焦点量和鞍点量,文献[1]中引进并讨论了复自治微分系统的奇点量。一个至今尚未解决的问题是:右端为三次多项式的二阶微分自治系统,实域中的细焦点、细鞍点以及复域中的细临界型奇点其最高精细度为多少(M(3)=?)。由文献[2]与[3]中的结果可得M(3)≥5。本文讨论系统     

可积方程新的对称、李代数及谱可变演化方程(Ⅴ)

Heisenberg旋转链方程 S_t=S×S_(xx),S=(S_1,S_2,S_3)∈R~3,|S|~2=1 (1.4)是它的特殊情形。所以我们称之为广义Heisenberg旋转链方程。 在文献[2—5]中,已经证明了KdV方程族、AKNS方程族、Kaup-Newell方程族以及Levi方程族都有两串对称,且证明了这两串对称构成无穷维李代数。本文将对广义Heisenberg方程给出同样的结果。有关的定义、条件同文献[2—5]。     

S波夸克偶素(0~(-+))的强子衰变与胶子有效质量

有许多作者已经讨论了胶子可能具有质量的问题。文献[2]的作者提出胶子具有有效质量很可能改进QCD对低能过程的预言。在文献[3]建议的胶子通过颜色对称自发破缺获得质量的方案的基础上,本文继续运用文献[4]的方法,计算S波夸克偶素(0~(-+))的强子衰变宽     

数列最优成组剖分的一个近似算法

一、问题的提出及定义根据铁路运输中列车的编组问题,文献[2]提出了有限数列的最优成组剖分问题,文献[3]解决了文献[2]中提出的顺序子序列的计数问题,文献[4]给出了最优拟顺序成组剖分的一个多项式算法。设S是一个有限数列     

耗散对量子系统分布函数的影响

在文献[1]中我们计算了一个一维量子耗散系统的准几率分布函数,发现半经典近似下的准几率分布函数和相应经典系统的分布函数有着比较显著的差别。分析文献[1]中(4)式及(5)式可知,量子力学效应通过系统的耗散     

完全分配格上的p.q.度量理论

文献[1,2]在完全分配格中引入分子概念,成功地建立了完全分配格上点式拓扑学的丰富理论。接着文献[3]与[4]又建立了拓扑分子格的乘积理论、子拓扑分子格和商拓扑分子格理论。但到目前,拓扑分子格理论还未涉及拓扑学中心问题之一的度量化问题。本文中,我们建立了完全分配格上的一种弱度量理论——p.q.度量理论,取得了一系列理想的结果,特别有:     

实二次数域类数h(K)=1问题

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

Fuzzy格上的点式一致结构与点式度量

关于格拓扑学中的一致结构与度量理论已有许多引人注目且有创造性的工作(如文献[1～6]及文献[4]中的相应文献)但它们多是Hutton与Erceg无点派工作的继续和推广,不能直接反映格上点式拓扑的特点.本文的目的就是在Fuzzy格上建立一种点式一致结构与点式度量理论.     

具有变量时滞的非线性中立型系统的稳定性

中立型时滞系统的稳定性的判定是比较复杂而又困难的问题,迄今所能见到的资料很少。文献[1—4]曾研究过中立型时滞系统的稳定性,获得了一些结果。但一般都要求时滞△(t)满足条件:0<△_0≤△(t)≤△。本文中,借助于文献[1—5]中的思想,对只有变量时滞的非线性中立型系统的稳定性,在只要求时滞△(t)满足0≤△(t)≤△的条件下,获得了在     

T.A.Burton定理的拓广

存在,唯一。其它记号与概念同文献[1]。本文证明文献[1]中定理1泛函沿方程(1)的解的导数关于状态变元(x,y)的定负性条件可用关于部分变元y的定负性条件来代替。     

关于A.A.Albert一篇论文的注记

A1bert在文献[1]中主要是对四次循环数域κ加以分类并明显给出整基。这些结果近来被Edgar和Peterson引用来研究K/k的相对整基问题,其中k是K的唯一二次子域。 在文献[3]中我们已宣布过,Albert给出的分类和整基在全部16种情形下有9种是不对的,文献[3]还完全解决了K/k的相对整基问题。     

一类具有n~2—n阶细焦点的平面n(偶数)次系统

对于右端为n次多项式的二阶微分自治系统,实域中的细焦点、细鞍点以及复域中的细临界型奇点其最高精细度M(n)?为多少,在文献[1]中就n=3提出了上述问题,并证明了M(3)≥7。文献[2]中则给出了E_3由中心点分枝出7个极限环的实例。对M(n)的估计显然与Hilbert第16问题密切相关,但对n≥4的情况几乎还没有结果。本文对任一偶数n,     

带时滞的非线性自动调节系统的非定常运动稳定性

在文献[1,2]中曾研究过非线性自动调节系统定常和非定常运动的稳定段之界的确定问题;文献[3]研究了带时滞的非线性自动调节系统定常运动的稳定段之界的确定问题,最近,我们利用文献[4]的方法,又改进了文献[2]的研究,本文将讨论带时滞的非线性自动调节系统的非定常运动的稳定段之界的确定问题。     

利用井水潮汐求含水层参数理论的探讨

自文献[1]提出利用井-含水层系统的潮汐资料,结合当地气压资料,可求得含水层参数后,文献[2,3]将此理论作了发展,但文献[4]对文献[1]的有关理论基本否定。本文对此问题进行探讨,并将所得结果和上述文献结果作一比较。