打开主菜单

数学计算机科学分支域理论中,Scott 信息系统是经常用做表示斯科特域的替代方式的一种原始种类的逻辑演绎系统。

目录

定义编辑

Scott 信息系统 A 是有序三元组  

  •   是记号(信息的基本单位)的集合。
  •   是 T 的有限子集。
  •  

满足

  1. 如果   
  2. 如果   并且   
  3. 如果   
  4.  
  5. 如果   并且   

这里的   意味着  

例子编辑

命题演算编辑

命题演算给我们一个非常简单的 Scott 信息系统如下:

  •  是可满足的 
  •  是相容的  
  •   当且仅当在命题演算中  

Scott 域编辑

D斯科特域。接着我们定义信息系统如下

  •   是 D 的紧致元素的集合
  •  有上界 
  •   当且仅当  

  是从 Scott 域 D 到上面定义的信息系统的映射。

信息系统和 Scott 领域编辑

给定一个信息系统  ,我们可以建造斯科特域如下。

  • 定义:   是一个点当且仅当
    • 如果   
    • 如果   并且   

  指示 A 的点的集合并按子集排序。在 T 是可数的时候,  将是可数 Scott 域。一般的说,对于任何 Scott 域 D 和信息系统 A

  •  
  •  

这里的第二个全等给出自逼近映射

参见编辑