论文部分内容阅读
文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方法);其次证明模态系统P3和严格蕴涵系统S3等价.
严格蕴涵系统S3的协调性
【摘 要】
：
文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方法);其次证明模态系统P3和严格蕴涵系统S3等
【机 构】
：
南开大学哲学系,郑州师范高等专科
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2005年1期
【基金项目】
：
国家自然科学基金，天津市自然科学基金
其他文献
利用下降流不变集方法证明了一类C^1泛函四个临界点的存在性定理．
本文中我们讨论了Banach空间中带非局部初值条件u（0）=g（u）+u<sub>0</sub>的半线性微分方程u′（t）=Au（t）+Bu（t）+f（t,u（t））的可控性问题,我们在g失去紧性条件时,给出了局部可控的充分条件.
设E是Banach空间,G(E)表示空间E中可分裂的子空间全体,和U(N)={HE:H N=E}.让F∈U(N).1983年,Abraham,Marsden和Ratiu给出G(E)上的一个微分结构{(U(N),Ψ_(F,N)}_(N∈G(E
本文研究了一类具有连续分布延时的随机反应扩散的神经网络模型.通过构建恰当的Lyapunov函数,以及运用非负半鞅收敛性定理,得到了该网络平衡解几乎必然指数稳定和矩指数稳定
在本文中我们引入了弱幺正则环的概念，证明这类环是幺正则环和半局部环的自然推广．另外，我们还证明了下面两个结果：(1)环R是弱幺正则的当且仅当Mn(R)(n≥1)是弱幺正则环；(2)假设R
本文我们证明了如下结论: （1）分数次积分算子I<sub>l</sub>与分数次极大算子M<sub>l</sub>是K<sub>q1</sub><sup>α,p1</sup>（1,ωα）到WK<sup>q2</sup><sup>α,p2</sup>（1,ωβ）中
本文针对由两个不同型部件和一个修理工组成的,开关寿命为连续型随机变量的冷贮备可修系统,讨论两部件的维修时间为一般非负随机变量,部件工作寿命以及转换开关的寿命和维修
在这篇文章中，我们对H双模代数构造了一个新的代数．A#H，称之为L-R扭Samsh积，并且给出了这个代数的Maschke定理．
本文将在逻辑Lω1,ω中把完全二叉树理论的可数模型刻画到同构并给出它们的Scott语句具体形式．证明了完全二叉树理论的可数模型的胞腔性质．