| 连续信息基 |
| |
| 引用本文： | 陈学友,李庆国,曹永林.连续信息基[J].模糊系统与数学,2006,20(3):59-63. |
| |
| 作者姓名： | 陈学友 李庆国 曹永林 |
| |
| 作者单位： | 1. 山东理工大学,数学与信息科学学院,山东,淄博,255012
2. 湖南大学,数学与计量学院,湖南,长沙,410082 |
| |
| 基金项目： | NationalnaturalsciencefoundatinofChina(10471035/A010104)，NaturalsciencefoundationofShandong(2003ZX13) |
| |
| 摘 要： | D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。
|
| 关 键 词： | Scott Domain 代数信息基 连续信息基 型论 |
| 文章编号： | 1001-7402（2006）03-0059-05 |
| 收稿时间： | 2005-03-29 |
| 修稿时间： | 2005年3月29日 |
Continuous Information Base |
| |
| CHEN Xue-you,LI Qing-guo,CAO Yong-lin.Continuous Information Base[J].Fuzzy Systems and Mathematics,2006,20(3):59-63. |
| |
| Authors: | CHEN Xue-you LI Qing-guo CAO Yong-lin |
| |
| Institution: | 1. School of Mathematics and Information Science,Shandong University of Technology,Zibo 255012,China; 2. School of Mathematics and Economics,Hunan University,Changsha 410012,China |
| |
| Abstract: | D.Scott initiated the domain theory in 1960's,and introduced information system and(neighbourhood) system as alternatives for the usual(algebraic) domain theoretical approach to the semantics of programming languages.Within the intuitionistic type theory,G.Sambin investigated the intuitionistic(formal) space which includes the domain theory as a special case~(4]).In 5],he introduced the notion of((algebraic)) information base with translation,and proved the equivalence between the category of the((algebraic)) information bases and the category of the(algebraic) Scott domains.From the point of view of information base, we will introduce the notion of continuous information base,and obtain the equivalence(between) the category of continuous information bases and the category of continuous Scott domains. |
| |
| Keywords: | Scott Domain Algebraic(Continuous) Information Base Type Theory |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
