| 拟信息基,ω-代数Cpo,和SFP domain |
| |
| 引用本文： | 陈学友,李庆国,曹永林.拟信息基,ω-代数Cpo,和SFP domain[J].数学的实践与认识,2006,36(9):205-211. |
| |
| 作者姓名： | 陈学友 李庆国 曹永林 |
| |
| 作者单位： | 1. 山东理工大学数学与信息科学学院,山东,淄博,255012
2. 湖南大学数学与计量经济学院,湖南,长沙,410082 |
| |
| 基金项目： | 国家自然科学基金;山东省自然科学基金 |
| |
| 摘 要： | G.Sam b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.B.R.C.Bedrega l给出了ω-代数cpo和SFP dom a in的刻划.而G.Q.Zhang通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP dom a in的刻划.
|
| 关 键 词： | ω-代数cpo SFPdomain 拟信息基 |
| 修稿时间： | 2005年7月19日 |
Pre-Information Base ω-Algebraic Cpo, and SFP Domain |
| |
| CHEN Xue-you,LI Qing-guo,CAO Yong-lin.Pre-Information Base ω-Algebraic Cpo, and SFP Domain[J].Mathematics in Practice and Theory,2006,36(9):205-211. |
| |
| Authors: | CHEN Xue-you LI Qing-guo CAO Yong-lin |
| |
| Abstract: | G.Sambin introduced the(algebraic) information base,and proved the equivalence between the category of algebraic Scott domains and the category of information bases.B.R.C.Bedregal obtained the representations of ω-algebraic cpo and SFP domain in. Zhang also gave the representation of SFP domain by sequent structure.In our work,we will introduce the notion of pre-information base,and give the representations of ω-algebraic cpo and SFP domain. |
| |
| Keywords: | SFP domain |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
