连续信息代数

Continuous Information Algebra

给出基于自由域信息代数和带论域信息代数上的连续性概念。证明在域集格有最大元的情况下,两种连续性之间是相互对应的。定义了连续信息代数之间的连续映射的概念,证得:若(,ΦD),(Ψ,E)都是强连续的信息代数,则([Φ→Ψ]c,D×E)也是强连续的。

In this paper, the concepts of continuity based on a labeled information algebras and domain-free information algebras are given. It has shown the correspondence between a labeled continuous information algebra and a domain-free continuous information algebra, if the set of domains has a top element. Continuous function between two domain-free information algebras is defined. It has proved （[φ→ψ],D×E） is an s-continuous information algebra, if （φ,D）,（ψ,E） are two s-continuous information