切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
中介时序逻辑系统MTL的完备性
中介时序逻辑系统MTL的完备性
来源 :数学研究与评论 | 被引量 : 0次 | 上传用户:zhiyin1976
【摘 要】
:
本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.
【作 者】
:
施庆生
张东摩
朱梧木
【机 构】
:
南京工业大学理学院,江苏,南京,210009南京航空航天大学计算机科学系,江苏,南京,210016;
【出 处】
:
数学研究与评论
【发表日期】
:
2002年3期
【关键词】
:
中介逻辑
模型
完备性
中介时序逻辑
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.
其他文献
思维导图在小学数学空间与图形教学中的应用
随着现代化教育理念集合素质教育的发展,教师在小学数学的教学过程中,不仅要注重学生对基础数学知识的掌握,还要注重培养学生的数学思维能力,为学生的未来发展打好基础.基于
期刊
思维导图
小学数学
空间与图形教学
半线性椭圆型问题爆炸解的存在性与渐近行为
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
半线性椭圆型方程
爆炸解
存在性
渐近行为
一类多元Gauss-Weierstrass算子线性组合的逼近
本文主要讨论一类多元Gauss-Weierstrass算子的线性组合的逼近性质,建立了一致逼近下的正、逆定理,并给出了逼近阶的特征刻画.
期刊
多元Gauss-Weierstrass算子
多元线性组合
一致逼近
特征刻画
分层教学在小学体育教学中的应用思考
素质教育要求小学体育教学将优化学生综合能力作为目标,从而帮助学生树立正确的价值观.小学生的思维能力尚未得到全面开发,同时,小学生的智力发展水平、身体素质和情感认知都
期刊
分层教学
小学体育
应用策略
浅谈如何进行英语词汇教学
学习一门语言就像我们要在家养观赏鱼那样,首先得具备一定的条件:鱼缸(就是我们永恒的记忆)、水(就是我们所需要的一定量的词汇)、鱼儿(我们要表达的思想)。古人云:“积土成山,风雨兴焉,积水成渊,蛟龙生焉。”那么词汇是语言的基本单位、语言的基础,词汇量的大小是衡量一个语言学习者水平高低的重要标志之一。怎样培养学生尽快、有效、牢固地掌握词汇并能准确熟练地运用它们,是摆在我们教师面前一个永恒的课题,也是围
期刊
语言
词汇量
学习者水平
重要标志
永恒
培养学生
教学实践
基本单位
观赏鱼
鱼缸
问题
条件
思想
课题
教师
蛟龙
记忆
基础
积水
古人
椭圆型方程的边界正则性与Dini条件
笔者利用Caffarelli扰动方法,证明了Poisson方程和完全非线性一致椭圆型方程在Dini条件下其粘性解的边界正则性,从而给出了文[8]定理4.11不用位势理论的简化证明.
期刊
Poisson方程
完全非线性一致椭圆型方程
粘性解
Dini条件
边界正则性
Wp,r(Rs)上的稳定细分格式
细分格式是计算机图形学和小波分析中的一个重要工具.该文考虑Wp.r(Rs)空间上的M伸缩的细分格式,M为一个s×s的整数矩阵,满足limM-n=O.作者用与细分面具相关的m(=lMl)个矩阵
期刊
细分方程
细分算子
细分格式
联合谱半径
稳定性
玖哥绘画艺术
期刊
以核心素养为基础的小学语文教学方法探讨
在小学语文课堂教学中,做好对核心素养的教学方法研究,能够为提高小学语文课堂教学质量,推动小学语文教学水平发展带来重要支持.笔者结合实践教学经验,在文中先对小学语文核
期刊
小学语文
核心素养
渗透
一类具有平行平均曲率和有限全曲率的完备子流形
本文把Bérard P.,do Carmo M.,Santos W.在1998年所得的结果,分别推广到局部对称的Cartan-Hadamard流形中具有常平均曲率和有限全曲率的完备超曲面,以及球面上具有平行平均
期刊
局部对称
无迹第二基本形式
有限全曲率
与本文相关的学术论文