Ambiguous Representations of Semilattices, Imperfect Information, and Predicate Transformers
- 4 Downloads
Crisp and lattice-valued ambiguous representations of one continuous semilattice in another one are introduced and operation of taking pseudo-inverse of the above relations is defined. It is shown that continuous semilattices and their ambiguous representations, for which taking pseudo-inverse is involutive, form categories. Self-dualities and contravariant equivalences for these categories are obtained. Possible interpretations and applications to processing of imperfect information are discussed.
KeywordsAmbiguous representation Continuous semilattice Duality of categories Imperfect information
- 4.Erné, M.: Z-distributive function spaces preprint (1998)Google Scholar
- 5.Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S., Lattices, Continuous: Domains encyclopedia of mathematics and its applications, vol. 93. Cambridge University Press, New York (2003)Google Scholar
- 6.Cohen, G., Gaubert, S., Quadrat J.-P.: Duality and separation theorems in idempotent semimodules. arXiv:math/0212294v2 [math.FA], 29 (2003)
- 8.Heckmann, R., Huth, M.: A duality theory for quantitative semantics. In: Proceedings of the 11th International Workshop on Computer Science Logic, vol. 1414 of Lecture Notes in Computer Science. Springer Verlag, 255–274 (1998)Google Scholar
- 9.Johnstone, P.T.: Stone spaces Cambridge studies in advanced mathematics, vol. 3. Cambridge University Press, New York (1983)Google Scholar
- 17.Scott, D.S. Nielsen, M., Schmidt, E.M. (eds.): Domains for denotational semantics. Springer, Berlin (1982)Google Scholar
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.