连续信息基

• 作者: 曹永林 李庆国 陈学友
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: Scott Domain 代数信息基 连续信息基 型论
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 模糊集理论
• 页码范围: 59-63
• 页数: 5页
• 分类号: O189|O153
• 字数: 785字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2006.03.010

摘要

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式--信息系统和邻域系.在型论(typetheory)基础上, G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广.本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈学友	山东理工大学数学与信息科学学院	6	7	2.0	2.0
2	李庆国	湖南大学数学与计量学院	72	172	7.0	10.0
3	曹永林	山东理工大学数学与信息科学学院	8	4	1.0	1.0