互模拟的一些基本性质

发布时间：2017-12-18 07:22

  本文关键词：互模拟的一些基本性质

  更多相关文章： 关系结构 加标转换系统 互模拟

【摘要】：由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模拟定义,并说明由此定义如何得到计算机科学中、模态逻辑中以及集合论中互模拟的定义;最后证明在这种定义下,互模拟的一些基本性质。
【作者单位】： 南开大学哲学系;
【基金】：国家哲学社科基金项目(08BZX049)
【分类号】：B812
【正文快照】： 【主持人语】本期刊登的两篇文章《互模拟的一些基本性质》和《弗协调多主体认知逻辑系CnEmK》属于现代逻辑研究的内容,也是作者们近年来所取得的最新研究成果。在上个世纪70年代,互模拟的概念几乎在计算机科学、模态逻辑和集合论中同时产生。在计算机科学中,它是并发系统中

【相似文献】

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

1 李娜;姚从军;;互模拟理论的逻辑研究述评[J];哲学动态;2010年04期

2 姚从军;;走进模态逻辑的互模拟[J];科学技术哲学研究;2010年03期

3 姚从军;;互模拟的含义、特征及主要应用[J];重庆理工大学学报(社会科学);2010年02期

4 姚从军;;互模拟在理论和实践中的应用[J];沈阳师范大学学报(社会科学版);2009年06期

5 姚从军;;同构、P-态射、互模拟与模态等价性[J];西南大学学报(社会科学版);2010年02期

6 姚从军;;互模拟——检验集合相等的一个新工具[J];湖南科技学院学报;2011年03期

7 姚从军;;模型等价性的一个充分必要条件[J];学术论坛;2009年10期

8 马明辉;;走向模型论的模态逻辑[J];逻辑学研究;2009年01期

9 赵欣;学车感悟[J];汽车运用;1999年10期

10 刘奋荣;;偏好变化的一个量化模型(英文)[J];逻辑学研究;2009年03期

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

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

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

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

4 陈晓江;杨琛;冯健;房鼎益;;并发系统模型检测中的状态约减算法[A];2007年全国开放式分布与并行计算机学术会议论文集(下册)[C];2007年

5 郭美云;;一般群体知识的多主体认知逻辑[A];2005年逻辑研究专辑[C];2005年

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

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

2 史t，

本文编号：1303322