同构、P-态射、互模拟与模态等价性

发布时间：2017-12-04 07:09

  本文关键词：同构、P-态射、互模拟与模态等价性

  更多相关文章： 同构 P-态射 互模拟 模态等价 结构 框架

【摘要】：结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系。同时,对框架等价性也给予了一定的研究,得出结论是:同构的框架一定是模态等价的,但具有另外两种关系的框架不一定是模态等价的。
【作者单位】： 南开大学哲学系;
【分类号】：B815.1
【正文快照】： 主持人语:逻辑是关于结构的科学。各结构的特征以及它们之间的关系,某些结构特征在什么样的关系和运算下具有不变性等等,是逻辑研究的重要内容。而结构的模态等价性是重要概念,它是指某些结构上有效性的模态公式恰好相同。《同构、P-态射、互模拟与模态等价性》一文比较了模

【相似文献】

中国期刊全文数据库 前10条

1 谭秀梅;任怀平;;同构关系在英汉语篇中的衔接及其翻译转换[J];绥化学院学报;2007年02期

2 张震;孙春萍;;在路上的过客——试论《这些年我一直在路上》与《过客》的同构关系[J];青春岁月;2011年14期

3 潘石杰,李岚;从社会符号学角度论译者主体性[J];宁波广播电视大学学报;2005年03期

4 侯佳;;英文广告中的词汇衔接(英文)[J];语文学刊;2005年24期

5 邵子华;;论戏剧冲突与人生双极性的同构关系[J];阿坝师范高等专科学校学报;2006年02期

6 阮可人;;音乐与美术通质同构关系[J];黑龙江科技信息;2010年19期

7 姜芳;;中国当代文艺与政治的同构——浅议“文革”时期的文学和艺术[J];党史博采(理论);2005年11期

8 林松源;从音乐的同构关系看无调性音乐的表现内涵[J];星海音乐学院学报;1997年03期

9 谭维智;;浅谈杨朔散文的“同构”[J];绥化学院学报;1992年01期

10 林国清;;古典悲剧、悲喜剧与宗教祭祀仪式同构关系探微[J];福建论坛(人文社会科学版);2009年12期

中国重要会议论文全文数据库 前10条

1 颜锋;陈韬略;韩婷婷;吕建;;Pi演算的一种变例及其开互模拟[A];2005年全国理论计算机科学学术年会论文集[C];2005年

2 武彦平;;通信距离受限的进程代数研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年

3 蔡松琦;;语言与和声交融的教学实践及其他[A];全国和声复调教学研讨会论文汇编[C];2010年

4 孙延;刘卉;;建筑情感空间与色彩空间的同构关系浅析[A];色彩科学应用与发展——中国科协2005年学术年会论文集[C];2005年

5 尼跃红;;在图形的诗意中畅游——关于图形含义的探讨[A];“岁寒三友——诗意的设计”——两岸三地中国传统图形与现代视觉设计学术研讨会论文集[C];2004年

6 张金成;;论系统DPA的基础及辩证模拟[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

7 余扬;;粗糙集的提升分析[A];第八届中国青年运筹信息管理学者大会论文集[C];2006年

8 李鸿渊;;论林黛玉的丫鬟紫鹃与雪雁[A];水浒争鸣（第十辑）[C];2008年

9 萧德云;莫以为;;混合系统的验证与控制综合[A];第二十一届中国控制会议论文集[C];2002年

10 潘文;康凯彪;张丽君;;中医学是中华民族文化的优秀代表[A];甘肃省中医药学会2008年学术年会论文集[C];2008年

中国重要报纸全文数据库 前10条

1 陈青松;像似符号思维与文学创作[N];文艺报;2006年

2 胡惠林;在市场经济中实践先进文化[N];中国文化报;2002年

3 王万举（本文作者为作家协会文艺评论家）;到底谁在娱乐[N];河北日报;2002年

4 河西;建筑“催情剂”的双重指向[N];建筑时报;2006年

5 王庆宪;中医学是中华传统文化的优秀代表[N];中国中医药报;2006年

6 李宗植;区域文化与区域经济[N];光明日报;2003年

7 梁枢;大树下面[N];光明日报;2004年

8 胡惠林（本文作者为国家文化产业创新与发展研究基地办公室主任 上海交通大学文化管理系副主任 教授）;文化产业：在市场经济中实现先进文化的前进方向[N];文学报;2003年

9 傅汝新;那个时代的爱情有无穷的意味[N];文艺报;2003年

10 张兵;文化是小说的根[N];中国图书商报;2006年

中国博士学位论文全文数据库 前10条

1 陈靖;带实时的传值与移动系统研究[D];中国科学院研究生院（软件研究所）;2003年

2 史t，

本文编号：1250150