多值状态属性系统与闭包空间(英文)  

Many-valued state property systems and closure spaces

作　　者：申力立[1] 张德学[1] 

机构地区：[1]四川大学数学学院,成都610064

出　　处：《四川大学学报（自然科学版）》2012年第4期735-739,共5页Journal of Sichuan University(Natural Science Edition)

基　　金：国家自然科学基金(11071174)

摘　　要：本文把状态属性系统的概念推广到了多值情形,探讨了状态属性系统与闭包空间之间的关系;证明了对一个有单位元的quantale L,在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.

关 键 词：QUANTALE L-完备格 L-状态属性系统 L-闭包空间 

分 类 号：O159[理学—数学]