共代数模态逻辑研究述评

发布时间：2017-07-15 22:27

  本文关键词：共代数模态逻辑研究述评

  更多相关文章： 模态逻辑 终结共代数 互模拟 代数逻辑 函子 转换系统 克里普克结构 理论计算机科学 代数方法 逻辑系统

【摘要】：正共代数(coalgebra,数学中常译为余代数)是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔(P.Aczel)在1988年给出的第一个例子将转换系统和
【作者单位】： 南开大学哲学院;
【关键词】： 模态逻辑 终结共代数 互模拟 代数逻辑 函子 转换系统 克里普克结构 理论计算机科学 代数方法 逻辑系统
【基金】：国家社科基金项目(08BZX049)
【分类号】：B815.1
【正文快照】： 共代数(coalgebra,数学中常译为余代数)是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔(P.Aczel)在1988年给出的第一个例子将转换系统和非良基集(non-well-founded sets)模型称为共代数。在此基础上,1996年,巴威斯(J.Barwise)

【相似文献】

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

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

2 宋伟;;《模态逻辑指南》中的若干错误[J];毕节学院学报;2010年03期

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

4 董英东;;模态逻辑发展历史概述[J];燕山大学学报(哲学社会科学版);2010年02期

5 朱建平;;布尔和赛格贝格论模态逻辑的三大传统[J];山东理工大学学报(社会科学版);2010年04期

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

7 刘华丽;;模态逻辑中公式的模态真度[J];计算机工程与应用;2010年31期

8 姚从军;;古典命题逻辑与模态命题逻辑的语义之比较[J];湖南科技学院学报;2009年02期

9 唐芳芳;;基于破坏性表列的模态公理系统[J];湖南科技大学学报(社会科学版);2009年01期

10 裘江杰;;基础认知词模态逻辑[J];湖南科技大学学报(社会科学版);2009年04期

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

1 徐长征;王清贤;颜学雄;;基于历史时序的访问控制模型研究[A];计算机研究新进展（2010）——河南省计算机学会2010年学术年会论文集[C];2010年

2 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

3 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年

4 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年

5 李文江;陈图云;;基于模糊测度的模态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

6 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

7 陈国勋;闫家杰;;Fuzzy模态公式的归约[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

8 马跃峰;;一种形式化的面向对象数据库方法[A];第九届全国数据库学术会议论文集(上)[C];1990年

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

1 陈岸瑛;文字和数字创造的世界[N];中华读书报;2003年

2 陈慕泽;多主体系统中的互知[N];光明日报;2000年

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

1 吕帅;基于自动推理技术的智能规划方法研究[D];吉林大学;2010年

2 徐悦竹;机会发现算法及其应用研究[D];哈尔滨工程大学;2010年

3 史t，

本文编号：546067