集合范畴Set的伴随对及其在认知逻辑中应用

下载PDF

导出

摘要首先描述一般集合范畴Set的伴随对及其性质,其次讨论了在偏序集范畴中的一个性质.最后说明认知逻辑中的互模拟关系事实上就是一种集合范畴中的伴随关系,并给出应用.

作者丁胜斌

机构地区福建师范大学数学与计算机科学学院

出处《福建电脑》 2010年第6期93-93,135,共2页 Journal of Fujian Computer

关键词伴随对认知逻辑互模拟

参考文献3

1Barwise J.Handbook of Mathematical Logic[M] ,North-Holland Publishing Company,1977.
2姚从军.互模拟在理论和实践中的应用[J].沈阳师范大学学报（社会科学版）,2009,33(6):29-31. 被引量：1
3D.Sangiorgj.On the orgins of bisimulation and coinduction[J].Technical Report,Department of Computer Science,University of Bologna,2007,24.

1Giovanna D (Agostino. Modal logic and non-well-founded set theory: translation, bisimulation,interpolation [M], PhD thesis. University of Arasterdam, 1998:81-108.
2D. Sangiorgi. On the origins of bisimulation and coinduclion[J]. Technical Report,Department of Computer Science, University of Bologna, 2007,24.
3Johan van Benthem. Modal correspondence theory. [M],PhD thesis. University of Amsterdam, 1976: 159-178.
4J. Barwise and L. Moss. Vicious circles [M]. Stanford: CSLI, 1996:77-89.
5Ernst-Erich Doberkat, Eugenio Omodeo. Investigations into theory and application of bisimulations in modal logic and'concurrency theory [J]. Ernst-Erich Doberkat. Eugenio Omodeo., 2007.
6D. Park. Concurrency and automata on infinite sequences[J]. In Proceedings 5th GI Conference, Springer 1981 : 167-183.
7Robin Milner. Communication and concurrency. New York : Prentice Hall, 1989:90-133.
8M. Forti, F. Honsel. Set Theory with Free Construction Principles[J]. In Annali Seuola Normale Superiore-Pisa Classe di SCIENZA, 1983,4(10):493-522.
9Peter Aczel. Non-well-founded sets [M]. Stanford: CSLI Publications. 1988 : 19-55.
10D. Janin and I. Walukiewice. On the expressive completeness of the propositional (-calculus [J]. In /he Pcoceedings of CONCUR ((96, 1996.

福建电脑

2010年第6期

内容加载中请稍等...