【摘 要】
：
对休斯（Hughes,G.E）和克雷斯韦尔（Cresswell,M.J）的压延技术（从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型）进行两种改造,从而可以从一个传递的模型分
【机 构】
：
湖南科技学院思政部,安徽大学哲学系
【基金项目】
：
2012年国家社科基金项目＂互模拟理论的逻辑研究＂（12BZX060）的研究成果之一.
论文部分内容阅读
对休斯（Hughes,G.E）和克雷斯韦尔（Cresswell,M.J）的压延技术（从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型）进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论：K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画；构造模互模拟的商模型与模语言等价的商模型,证明了它们都是∑-过滤的特例——Form（◇,φ）-过滤（Form∞（◇,Φ）-过滤/Form（Τ,Φ）-过滤/Fo
其他文献
回顾了建立在词汇联想测试基础上的二语心理词汇组织模式的主要观点，即语音说、语义说和句法说。然后提出未来二语心理词}12研究的几个新方向：对心理词汇的动态研究、对联想反
纵观国内外高等教育的发展历程，实践育人无疑是提高高等教育质量的重要一环。高等农林院校肩负着推动现代农业产业转型升级、服务现代农业产业体系、培养“三农”发展人才等重
对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值得研究.为此,总结了关于典范框架的几个侧面
目前,高校师生英语教学观念存在一定差异,这在一定程度上影响了高校英语教学质量.本文采用问卷调查法和访谈法对太原市三所普通高校的教师与学生进行了英语教学观念的相关调
2015年是我国经济转型升级的攻坚之年，也是“互联网＋”时代开启之年。在这样的时代背景下，做好大学生创新创业工作具有重要意义。探寻新时期大学生创新创业存在的问题并提出有效