本文把状态属性系统的概念推广到了多值情形,探讨了状态属性系统与闭包空间之间的关系;证明了对一个有单位元的quantaleL,在L中取值的状态属性系统的范畴与在L中取值的闭包空间范畴等价.
In this paper the definition of state property system is extended to the many-valued setting. The relationship between state property systems and closure spaces is discussed. It is shown that, for a unital quantale L, the category of state property systems valued in L is equivalent to the category of clo- sure spaces valued in L.