【摘 要】
：
对休斯（Hughes,G.E）和克雷斯韦尔（Cresswell,M.J）的压延技术（从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型）进行两种改造,从而可以从一个传递的模型分
【机 构】
：
湖南科技学院思政部,安徽大学哲学系
【基金项目】
：
2012年国家社科基金项目＂互模拟理论的逻辑研究＂（12BZX060）的研究成果之一.
论文部分内容阅读
对休斯（Hughes,G.E）和克雷斯韦尔（Cresswell,M.J）的压延技术（从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型）进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论：K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画；构造模互模拟的商模型与模语言等价的商模型,证明了它们都是∑-过滤的特例——Form（◇,φ）-过滤（Form∞（◇,Φ）-过滤/Form（Τ,Φ）-过滤/Fo
其他文献
2009以来，重庆市开展了大规模的统计执法检查，通过近三年的集中统一执法检查，进一步夯实了统计基础工作，有效提高了统计数据质量，统计地位得到了不断提升。但同时，由于受种种因素影
2015年5月1日起施行的《重庆市统计管理条例》，极大地推动了我市统计诚信建设工作。按照《条例》第九条“统计调查对象的统计违法信息应当纳入相关信用诚信系统，供有关单位和个
回顾了建立在词汇联想测试基础上的二语心理词汇组织模式的主要观点，即语音说、语义说和句法说。然后提出未来二语心理词}12研究的几个新方向：对心理词汇的动态研究、对联想反
纵观国内外高等教育的发展历程，实践育人无疑是提高高等教育质量的重要一环。高等农林院校肩负着推动现代农业产业转型升级、服务现代农业产业体系、培养“三农”发展人才等重
对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值得研究.为此,总结了关于典范框架的几个侧面
一品街道地处重庆市主城区西南部，行政区属巴南，幅员面积58．2平方公里，辖7个行政村，1个居委会，54个合作社，总人口23000余人，其中农业人口13000余人。辖区内有法人单位192家，产业单位18
目前,高校师生英语教学观念存在一定差异,这在一定程度上影响了高校英语教学质量.本文采用问卷调查法和访谈法对太原市三所普通高校的教师与学生进行了英语教学观念的相关调
廉洁作为一种社会价值取向,引导的是一种良性的社会追求。在当前时代背景下,大学生廉洁教育问题面临诸多困境：大学生廉洁意识淡薄、高校廉洁教育体系不够完善、廉洁教育活动形
2015年是我国经济转型升级的攻坚之年，也是“互联网＋”时代开启之年。在这样的时代背景下，做好大学生创新创业工作具有重要意义。探寻新时期大学生创新创业存在的问题并提出有效
6月4—5日，国家统计局贸易外经统计司副司长蔺涛一行来渝检查指导全市贸易统计工作，市统计局总统计师秦瑶、局贸易外经统计处陪同调研。