Abstract
In this paper continuity for abstract semantics defined for lattices is generalized to the case of bc-domains, an equivalent characterization for semantics being continuous is given. Relation between continuity and compactness is given. Finally, application to fuzzy logic is discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Abramsky and A. Jung, Domain Theory, In Handbook of Logic in Computer Science, Vol. 3, 1–168, Oxford University Press, 1996.
R. Engelking, General Topology, Warzawa, 1977.
G. Gerla, Fuzzy Logic, Preprint, University of Salerno, 1999
G. Gierz A Compendium of Continuous Lattices Springer-Verlag,1980.
J. A. Goguen, The Logic of Inexact ConceptsSynthese, 19(1968), 325–375.
G. J. Wang, Theory of Granular lattices and itsapplications, Computers and Mathematics with applications, Vol. 39(12), 1–9.
L. A. Zadeh, Fuzzy Sets, Information and Control, 12(1965), 338–353.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this paper
Cite this paper
Fan, Th., Wang, GJ. (2001). Compact Semantics on BC-Domains. In: Keimel, K., Zhang, GQ., Liu, YM., Chen, YX. (eds) Domains and Processes. Semantic Structures in Computation, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0654-5_7
Download citation
DOI: https://doi.org/10.1007/978-94-010-0654-5_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3859-1
Online ISBN: 978-94-010-0654-5
eBook Packages: Springer Book Archive