【摘 要】
:
对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从
【机 构】
:
湖南科技学院思政部,湖南永州425199安徽大学哲学系,合肥230039
论文部分内容阅读
对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论:K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画;构造模互模拟的商模型与模语言等价的商模型,证明了它们都是∑-过滤的特例——Form(◇,φ)-过滤(Form∞(◇,Φ)-过滤/Form(Τ,Φ)-过滤/Form∞(Τ,Φ)-过滤),进一步得出这两种商模型之间具有同态关系.
其他文献
本文首先简要分析了阮刻本《十三经注疏》,指出其是目前使用最为广泛的《十三经注疏》的版本,在清代校勘学史上地位非常重要.且拟以《孟子注疏校勘记》为中心,通过分析
明代有些士大夫,将先秦儒家经典中关于保护动物资源的思想解读为“戒杀”和对动物的仁爱,以此作为他们提倡戒杀、放生的理论依据;宣扬宋儒“以天地万物为一体”的观
西汉时期的吴地文化受楚文化影响而以辞赋创作著称,但与当时文化发达的齐鲁、巴蜀等地相比,吴地文化总体成就并不突出.在侨、土士人的共同努力下,孙吴文士在四言诗、
本文讲述了《孟子》在义理和话语两方面深深影响到戴震的《原善》.戴震将《易传》的“继善成性”与孟子的性善论区别为两个问题,前者是泛论,后者转轮人性受孟子断言
本文试图以诊释学中文本/叙说与主体之移转关系,解读家庭重塑场上治疗者、主角、观众与故事四者之交互移位,为心理治疗理论的研究提供依据.
唐宋孟子升格运动的一个重要方面是孟子在“道统论”中地位的确立与巩固.本文首先描述了唐代古文运动前驱的文道说与孟子观以及韩愈、李翱的道统论及孟子观,在此基础
孤独症是一种涉及感知觉、情感、语言、思维、动作和行为等多方面的广泛性发育障碍疾病.这一类儿童对听觉的刺激应异常,对别人的话无法理解,这就造成了在对孤独症儿
介绍了汉语连动结构已有研究成果并指出其中存在的问题;给出刻画连动结构的多体谓词逻辑系统SVC;在给出系统的基础上进一步细化甚至修正了已有的工作.
中国共产党在新时期提出"美丽中国"的治国理念,是在古今中外关于生态思想及实践经验的基础上,结合中国具体的实际而提出来的.认真探寻"美丽中国"治国理念的文化及理