论文部分内容阅读
本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.
中介时序逻辑系统MTL的完备性
【摘 要】
：
本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.
【机 构】
：
南京工业大学理学院,江苏,南京,210009南京航空航天大学计算机科学系,江苏,南京,210016;
【出 处】
：
数学研究与评论
【发表日期】
：
2002年3期
其他文献
随着现代化教育理念集合素质教育的发展,教师在小学数学的教学过程中,不仅要注重学生对基础数学知识的掌握,还要注重培养学生的数学思维能力,为学生的未来发展打好基础.基于
本文主要讨论一类多元Gauss-Weierstrass算子的线性组合的逼近性质,建立了一致逼近下的正、逆定理,并给出了逼近阶的特征刻画.
素质教育要求小学体育教学将优化学生综合能力作为目标,从而帮助学生树立正确的价值观.小学生的思维能力尚未得到全面开发,同时,小学生的智力发展水平、身体素质和情感认知都
学习一门语言就像我们要在家养观赏鱼那样,首先得具备一定的条件:鱼缸(就是我们永恒的记忆)、水(就是我们所需要的一定量的词汇)、鱼儿(我们要表达的思想)。古人云:“积土成山,风雨兴焉,积水成渊,蛟龙生焉。”那么词汇是语言的基本单位、语言的基础,词汇量的大小是衡量一个语言学习者水平高低的重要标志之一。怎样培养学生尽快、有效、牢固地掌握词汇并能准确熟练地运用它们,是摆在我们教师面前一个永恒的课题,也是围
笔者利用Caffarelli扰动方法,证明了Poisson方程和完全非线性一致椭圆型方程在Dini条件下其粘性解的边界正则性,从而给出了文[8]定理4.11不用位势理论的简化证明.
细分格式是计算机图形学和小波分析中的一个重要工具.该文考虑Wp.r(Rs)空间上的M伸缩的细分格式,M为一个s×s的整数矩阵,满足limM-n=O.作者用与细分面具相关的m(=lMl)个矩阵
在小学语文课堂教学中,做好对核心素养的教学方法研究,能够为提高小学语文课堂教学质量,推动小学语文教学水平发展带来重要支持.笔者结合实践教学经验,在文中先对小学语文核
本文把Bérard P.,do Carmo M.,Santos W.在1998年所得的结果,分别推广到局部对称的Cartan-Hadamard流形中具有常平均曲率和有限全曲率的完备超曲面,以及球面上具有平行平均