摘要
基于完备剩余格,借助于模糊Galois联络,给出了模糊domain更为细致的一个等价刻画定理,丰富了量化domain的理论知识.
Based on complete residuated lattices, this paper investigates quantitative domains via fuzzy Galois connections, an equivalent characteristic theorem of fuzzy domain is obtained,which enriches the theory of quantitative domain.
出处
《南昌工程学院学报》
CAS
2013年第1期10-13,共4页
Journal of Nanchang Institute of Technology
基金
Supported by Science and Technology Project of Jiangxi Provincial Department of Education(No.GJJ12646)~~
