【摘 要】
：
增加特定的基数量词，扩张一阶语言，就可以导致实质性地增强语言的表达能力，这样许多超出一阶逻辑范围的数学概念就能得到处理。由于在模型的层次上基本模态逻辑可以看作一阶逻辑
论文部分内容阅读
增加特定的基数量词，扩张一阶语言，就可以导致实质性地增强语言的表达能力，这样许多超出一阶逻辑范围的数学概念就能得到处理。由于在模型的层次上基本模态逻辑可以看作一阶逻辑的互模拟不变片断，显然它不能处理这些数学概念。因此，增加说明后继状态类上基数概念的模态词，原则上我们就能以模态的方式处理所有基数。我们把讨论各种模型论逻辑的方式转移到模态方面。
其他文献
<正> 1.对裂缝的一般评述 在象桥梁这样的大型建筑物中,混凝土中细微发裂是避免不了的,而缝宽在0.1～0.2mm以下的微裂一般是看不出来的。三十多年来,关于发裂对钢筋腐蚀影响的
<正>慢性肋软骨炎表现为胸前肋软骨部疼痛、肿大,多呈间歇性,于躯干扭转、侧卧睡眠或咳嗽中易于诱发疼痛[1],严重影响患者的工作及生活。笔者在近年工作中,采用针刺配合艾灸
继蒸汽机的发明、大工业化生产后,信息化又一次推进了社会的全面进步。自中国实行改革开放以来,全球竞争力日益增强。在经济与社会的全球化趋势下,就要求每个发展中国家必须
斜拉桥换索施工控制需要在整个施工过程中对索力、主梁标高、主梁和桥塔应力等参数进行控制,通过建模计算分析,将参数增量变化分析方法运用于皎平渡斜拉桥换索工程实践中。结
分析了中国石化茂名分公司连续重整装置的综合用能情况,针对装置用能存在的不足,采取了优化操作、优化改进换热网络、蒸汽替代加热炉等措施,取得显著节能效果。针对仍然存在
废名特立独行。他以小说家名,但其小说总是被人当作诗或散文来读;他认真写小说,但哪一部长篇(如《桥》、《莫须有先生传》、《纺纸记》)都好像半途而废似的;他是现代诗化小说
本文以沪、深309家外资持股公司为样本,从公司治理的视角对利用外资与公司价值之间相关关系进行了实证研究,研究发现：(1)外资持股比例的分散化、外资金融机构持股对外资持股公
<正>数学家G.波利亚在他的《怎样解题》一书中,给出了著名的"怎样解题表".波利亚指出:首先"你必须理解题目",并给出了帮助解题者理解题目的几个基本问题:未知量是什么?已知数
区域“增长极”理论为我国体育产业的发展给予了重要的启示和理论依据。在对我国体育产业发展现状及体育产业发展的竞争优势要素分析的基础上,结合区域中心城市所具有的区域
针对浙江省保险市场上产品种类较少、资金运用渠道狭窄、内控制度不健全以及市场集中度较高等问题,提出了加强浙江保险业的具体措施。