共代数模态逻辑研究述评

摘  要:共代数(coalgebra,数学中常译为余代数)是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔(P.Aczel)在1988年给出的第一个例子将转换系统和非良基集(non—well—foundedsets)模型称为共代数。存此基础上,1996年,巴威斯(...>>详细

【作  者】李娜 王湘云

【作者单位】南开大学哲学院,天津300071

【期  刊】《哲学动态》 中国人文科学核心期刊要览 中文社会科学引文索引 2011年第1期100-106,共7页

【关 键 词】代数 逻辑研究 述评 模态 计算机科学 well 转换系统 逻辑学 

【基金项目】基金项目:闰家社科基金项目(08BZX049).

【分 类 号】B81

【下载次数】3【在线阅读】25

分享到:

参考文献(共找到条)

相关文献:(共找到条)

作者其它文章更多

81310X
11
分类表关闭X
隐藏
比较
关闭《哲学动态》编辑部重要声明