摘要
研究了Girard quantale的内部结构,讨论了新算子|→r(|→l)的一系列性质.找到了Girard quantale的等价刻画以及一个D-quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质.
The intrinsic structures of Girard quantales are studied. A series of properties of the new operations ｜→ rand ｜→l are investigated. An equivalent characterization of a Girard quantale is given and a necessary and sufficient condition for a D-quantale to be a Girard quantale is found, and some simple properties of valid elements in a Girard quantale are discussed.
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第2期10-13,共4页
Journal of Shaanxi Normal University：Natural Science Edition
基金
国家自然科学基金资助项目(10471083)
