论文部分内容阅读
本文对[1]中的系统MTL进行了进一步的讨论，给出了它的模型论性质，基于中介逻辑，构造了一种可传有序模型，证明了MTL系统的完备性。
中介时序逻辑系统MTL的完备性
【摘 要】
：
本文对[1]中的系统MTL进行了进一步的讨论，给出了它的模型论性质，基于中介逻辑，构造了一种可传有序模型，证明了MTL系统的完备性。
【机 构】
：
南京工业大学理学院,南京航空航天大学计算机科学系
【出 处】
：
数学研究与评论
【发表日期】
：
2002年3期
【基金项目】
：
国家自然科学基金资助（69785004）
其他文献
党的十八大明确将“生态文明建设”列为“五位一体’’的中国特色社会主义事业总体布局。作为生态文明建设重要组成部分的“美丽乡村＂，已成为党和国家对新农村建设的总体要求和
目的：考察注射用头孢尼西钠与葡萄糖氯化钠注射液、5%葡萄糖注射液和0.9%氯化钠注射液的配伍稳定性。方法：考察配伍后溶液的外观性状,采用HPLC法对配伍后溶液的含量变化进行分
目的：分析和讨论中西医结合治疗消化性溃疡病的临床疗效。方法：通过对照组和实验组的对比实验，使用中药（苏梗、石蒲、郁金、苍术等）结合西药治疗消化性溃疡病76例。结果：对照组38例
太原是中部一座尚未崛起的城市，由于历史原因造成的城市愚形与产业结构困局，使得这座城市的发展之路颇多阻塞。有“造城市长”之称的耿彦波重回太原，开始大刀阔斧地重塑这鹰城市
研究了拟常曲率Ｒｉｅｍａｎｎ流形中具有平行平均曲率的伪脐点子流形，得到了一个ｓｉｍｏｎｓ型公式。
本文在§1中推广了古典正规发散的概念,给出了广义Laguerre级数在收敛抛物线上的奇点的判断定理.在§2中给出了广义Laguerre级数的“Ostrowski”型的过度收敛定理.
渝中人民用“老重庆底片，新重庆客厅”，10个字就把自己赖以生存的一方热土的历史积淀和美丽的现实展现出来，人文关怀感同身受，文化气息扑面而来。用哪几方面的叙事来印证？记者来到
本文对任意群Ｇ上的任意分次环Ａ，建立了Ｓｍａｓｈ积Ａ＃Ｃ＊和单位分量Ａｅ理想同的对应关系，并运用所建立的对应关系研究分次环的Ｓｍａｓｈ积Ａ＃Ｇ＊和Ａｅ的半素性，素性和单性。