Continuity in quantitative domains

Fuzzy Sets and Systems

Volumn 154, Issue 1, 2005, Pages 118-131

  Zhang, Qi Ye ^a   Fan, Lei ^b  

^a BEIHANG UNIVERSITY   (China)

^b CAPITAL NORMAL UNIVERSITY   (China)

Author keywords

Continuous L fuzzy domain; Generalized Scott topology; L fuzzy domain; Stratified approximation relation; Stratified interpolation

Indexed keywords

APPROXIMATION THEORY; CONCURRENT ENGINEERING; INTERPOLATION; LOGIC PROGRAMMING; MATHEMATICAL MODELS; THEOREM PROVING; TOPOLOGY;

CONTINUOUS L-FUZZY DOMAIN; GENERALIZED SCOTT TOPOLOGY; L-FUZZY DOMAIN; STRATIFIED APPROXIMATION RELATION;

FUZZY SETS;

EID: 19044380940     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2005.01.007     Document Type: Article

References (9)

1. S. Abramsky, and A. Jung Domain theory D.M. Gabbay T.S.E. Maibaum Handbook of Logic in Computer Science vol. 3 1995 Oxford University Press Oxford 1 168
2. L. Fan, Q.-Y. Zhang, W.-Y. Xiang, and C.-Y. Zheng An L -fuzzy approach to quantitative domain(I) (generalized ordered set valued in frame and adjunction theory) Fuzzy Systems Math. (the special of theory of fuzzy sets and application) 14 2000 6 7 (in Chinese)
3. L. Fan, Research of some problems in domain theory, Ph.D. Thesis, Capital Normal University, 2001 (in Chinese).
4. B. Flagg, P. Sünderhauf, K. Wagner, A logical approach to quantitative domain theory, Preprint, Elsevier, 1996, submitted.
5. U. Höhle, S.E. Rodabaugh (Eds.), Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, The Handbooks of Fuzzy Set Series, vol. 3, Kluwer Academic Publishers, Dordrecht, 1999.
6. J.J.M.M. Rutten Elements of generalized ultrametric domain theory Theoret. Comput. Sci. 170 1996 349 381
7. F.-G. Shi Theory of L β - nested sets and L α -nested sets and applications Fuzzy Systems Math. 9 1995 65 72 (in Chinese)
8. K.R. Wagner, Solving recursive domain equations with enriched categories, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, 1994.
9. C.-Y. Zheng, L. Fan, and H. Cui Frame and Continuous Lattices second ed. 2000 Capital Normal University Press Beijing (in Chinese)