期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

共代数模态逻辑研究述评

原文传递
导出
摘要 共代数（coalgebra，数学中常译为余代数）是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔（P．Aczel）在1988年给出的第一个例子将转换系统和非良基集（non—well—foundedsets）模型称为共代数。存此基础上，1996年，巴威斯（J．Barwise）和莫斯（L．Moss）讨论了各种包含循环性和自参考概念的现象，
作者 李娜 王湘云
机构地区 南开大学哲学院
出处 《哲学动态》 CSSCI 北大核心 2011年第1期100-106,共7页 Philosophical Trends
基金 国家社科基金项目(08BZX049)
关键词 代数 逻辑研究 述评 模态 计算机科学 WELL 转换系统 逻辑学
分类号 B81 [哲学宗教—逻辑学]
  • 相关文献

参考文献24

  • 1Y. Venema, "Algebras and Coalgebras", J. van Benthem, P. Blackburn and F. Woher, eds. , Handbook of Modal Logic, Elsevier, Amsterdam, 2007. 被引量：1
  • 2I. Hasuo, Modal Logics for Coalgebras -a Survey, Report, Tokyo Institute of Technology, 2003. 被引量：1
  • 3P. Aczel, "Non - well - founded Sets", Volume 14 of CSLI Lecture Notes, CSLL Publications, Stanford, CA, 1988. 被引量：1
  • 4P. Aczel and N. Mendler, "A Final Coalgebra Theorem", D. H. Pitt et al. , Editors, Category Theory and Computer Science, LNCS Volume 389, Springer, 1989, pp. 357-365. 被引量：1
  • 5M. Lenisa, Themes in Final Semantics [ Ph.D. Thesis] , Universita Degli Studi di Pisa Dipartimento Di Informatica, 1998. 被引量：1
  • 6M. Lenisa, "From Set - theoretic Coinduction to Coalgebraic Coinduction: Some Results, Some Problems", B. Jacobs, J. Rutten, eds. , Proceedings of the CMCS99, Electronic Notes in Theoretical Computer Science, Vol. 19, 1999. 被引量：1
  • 7L. Moss, "Coalgebraic Logic", Annals of Pure and Applied Logic, 96, 1999, pp. 241 -259. 被引量：1
  • 8M. Roβiger, "Coalgebras and Modal Logic", In: Reiehel H, ed., Proceedings of the CMCS 2000, Electronic Notes in Theoretical Computer Science, Vol. 33, 2000. 被引量：1
  • 9M. Roβiger, "From Modal Logic to Terminal Coalgebras", Theoretical Computer Science, 260: 2001, pp. 209 -228. 被引量：1
  • 10A. Kurz, Logics for Coalgebras and Applications to Computer Science [ Ph.D. Thesis], LMU, 2000. 被引量：1
哲学动态
2011年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部