论文部分内容阅读
在知识蕴涵命题逻辑的基础上，可以构建一个知识蕴涵时态命题逻辑系统，它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义，可以证明该系统的可靠性和完全性。
知识蕴涵时态逻辑系统
【摘 要】
：
在知识蕴涵命题逻辑的基础上，可以构建一个知识蕴涵时态命题逻辑系统，它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义，可以证明该系统的可靠性和完全性
【机 构】
：
南京大学哲学系
【出 处】
：
安徽大学学报：哲学社会科学版
【发表日期】
：
2009年5期
其他文献
陈独秀和胡适分别生长于传统文化发达的安庆地区和徽州地区，从小都接受了较系统的传统教育，青少年时期又接受过良好的现代教育。传统教育和现代教育对他们的成长均产生了重要作
高职校园文化是一种社会亚文化,是在高等职业技术学院特定的环境中形成的文化现象,是社会文化的重要组成部分。健康、积极向上的校园文化对弘扬社会正气,践行社会主义核心价
作为一种法律制度,特困刑事被害人救助制度以确保被害人的利益为基础和出发点,以保障被害人的生存权与发展权为根本目的,以救助的方式实现被害人与加害人、被害人与社会关系
在分析微分方程法控制网格节点分布方法的基础上，对改进的ＴＭ法控制网格生成进行研究，并以柴油机ＭＰＣ排气管分支为例，用改进的ＴＭ法生成二维贴体网格，应用实例表明，增加角度控制参数后，该方法
突破音乐与语言之间的界限是穆索尔斯基最富于民族因素和最具创作性的艺术原则,彰显了穆索尔斯基精湛的音乐才华和独特的创造力,这一创作原则不仅使穆索尔斯基在俄罗斯19世纪
周艳艳副教授系河南中医药大学第二临床医学院妇科副主任医师,河南省中医重点学科(专科)学术带头人,河南省中医药拔尖人才培养对象,第一届仲景书院优秀传人,擅长中西医结合治
牛血液检查和血清学试验是科学研究、临床检验常规项目。基层兽医技术人员因缺乏临床经验,存在难确定静脉位置、难快速准确找到采血位置两大弱点。家畜采血前的保定也是畜牧
安徽大学哲学系外国哲学学科于1996年3月被批准为省级重点学科，2002年4月通过验收被确定为第二批省级重点学科，2008年通过验收被确定为第三批省级重点学科。
领导特质理论、领导行为理论、领导权变理论等传统领导理论和变革型领导理论、魅力型领导理论、愿景型领导理论等新领导理论反映了英雄式领导范式的前提假设，过分强调了“个人