中文会议： 2013年全国应用逻辑学术年会论文集

会议日期： 2013-06-22

会议地点： 北京

主办单位： 中国逻辑学会

作　　者： ; ;

机构地区： 湖南科技学院

出　　处： 《2013年全国应用逻辑学术年会》

摘　　要： 对休斯(HUGHES,G.E)和克雷斯韦尔(CRESSWELL,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论：K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画；构造模互模拟的商模型与模语言等价的商模型,证明了它们都是∑-过滤的特例——FORM(◇,φ)-过滤(FORM∞(◇,Φ)-过滤/FORM(Τ,Φ)-过滤/FORM∞(Τ,Φ)-过滤),进一步得出这两种商模型之间具有同态关系.

关 键 词： 互模拟 压延 商模型 语言等价

分 类 号： [ZZ]

领　　域： [文化科学]