{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T16:30:36Z","timestamp":1747153836584,"version":"3.40.5"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,11,7]],"date-time":"2019-11-07T00:00:00Z","timestamp":1573084800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,11,7]],"date-time":"2019-11-07T00:00:00Z","timestamp":1573084800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1007\/s11083-019-09508-0","type":"journal-article","created":{"date-parts":[[2019,11,7]],"date-time":"2019-11-07T19:03:05Z","timestamp":1573153385000},"page":"319-339","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Ambiguous Representations of Semilattices, Imperfect Information, and Predicate Transformers"],"prefix":"10.1007","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4758-9003","authenticated-orcid":false,"given":"Oleh","family":"Nykyforchyn","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7958-5950","authenticated-orcid":false,"given":"Oksana","family":"Mykytsey","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,7]]},"reference":[{"issue":"11","key":"9508_CR1","doi-asserted-by":"publisher","first-page":"4515","DOI":"10.1090\/S0002-9947-99-02153-4","volume":"351","author":"M Akian","year":"1999","unstructured":"Akian, M.: Densities of invariant measures and large deviations. Trans. Amer. Math. Soc. 351(11), 4515\u20134543 (1999)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9508_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801129","volume-title":"Introduction to many-valued and fuzzy logic: Semantics, algebras, and derivation systems","author":"M Bergmann","year":"2008","unstructured":"Bergmann, M.: Introduction to many-valued and fuzzy logic: Semantics, algebras, and derivation systems. Cambridge University Press, New York (2008)"},{"issue":"4","key":"9508_CR3","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/421098","volume":"3","author":"A Edalat","year":"1997","unstructured":"Edalat, A.: Domains for computation in mathematics, physics and exact real arithmetic. Bull. Symb. Logic 3(4), 401\u2013452 (1997)","journal-title":"Bull. Symb. Logic"},{"key":"9508_CR4","unstructured":"Ern\u00e9, M.: Z-distributive function spaces preprint (1998)"},{"key":"9508_CR5","unstructured":"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)"},{"key":"9508_CR6","unstructured":"Cohen, G., Gaubert, S., Quadrat J.-P.: Duality and separation theorems in idempotent semimodules. arXiv: math\/0212294v2 [math.FA], 29 (2003)"},{"issue":"4","key":"9508_CR7","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1093\/logcom\/13.4.469","volume":"13","author":"P H\u00e1jek","year":"2003","unstructured":"H\u00e1jek, P.: Fuzzy logics with noncommutative conjuctions. J. Logic Computation 13(4), 469\u2013479 (2003)","journal-title":"J. Logic Computation"},{"key":"9508_CR8","doi-asserted-by":"crossref","unstructured":"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\u2013274 (1998)","DOI":"10.1007\/BFb0028019"},{"key":"9508_CR9","volume-title":"Stone spaces Cambridge studies in advanced mathematics, vol. 3","author":"PT Johnstone","year":"1983","unstructured":"Johnstone, P.T.: Stone spaces Cambridge studies in advanced mathematics, vol. 3. Cambridge University Press, New York (1983)"},{"key":"9508_CR10","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)","edition":"2nd edn."},{"issue":"4","key":"9508_CR11","doi-asserted-by":"publisher","first-page":"359","DOI":"10.4171\/PRIMS\/185","volume":"52","author":"P-A Melli\u00e8s","year":"2016","unstructured":"Melli\u00e8s, P.-A.: Dialogue categories and chiralities. Publ. Res. Inst. Math. Sci. 52(4), 359\u2013412 (2016)","journal-title":"Publ. Res. Inst. Math. Sci."},{"issue":"3","key":"9508_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s10485-007-9061-z","volume":"15","author":"OR Nykyforchyn","year":"2008","unstructured":"Nykyforchyn, O.R.: Capacities with values in compact Hausdorff lattices. Appl. Categ. Struct. 15(3), 243\u2013257 (2008)","journal-title":"Appl. Categ. Struct."},{"key":"9508_CR13","first-page":"221","volume":"72","author":"O Nykyforchyn","year":"2010","unstructured":"Nykyforchyn, O., Mykytsey, O.: Conjugate measures on semilattices. Visnyk Lviv Univ. 72, 221\u2013231 (2010)","journal-title":"Visnyk Lviv Univ."},{"key":"9508_CR14","first-page":"299","volume":"8","author":"O Nykyforchyn","year":"2011","unstructured":"Nykyforchyn, O., Mykytsey, O.: L-idempotent linear operators between predicate semimodules, dual pairs and conjugate operator. Mathematical Bulletin of the Shevchenko Scientific Society 8, 299\u2013314 (2011)","journal-title":"Mathematical Bulletin of the Shevchenko Scientific Society"},{"key":"9508_CR15","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.fss.2011.02.007","volume":"173","author":"O Nykyforchyn","year":"2011","unstructured":"Nykyforchyn, O., Repov\u0161, D.: Ambiguous representations as fuzzy relations between sets. Fuzzy Set. Syst. 173, 25\u201344 (2011)","journal-title":"Fuzzy Set. Syst."},{"key":"9508_CR16","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.fss.2012.06.007","volume":"208","author":"OR Nykyforchyn","year":"2012","unstructured":"Nykyforchyn, O.R., Repov\u0161, D.: L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates. Fuzzy Set. Syst. 208, 67\u201378 (2012)","journal-title":"Fuzzy Set. Syst."},{"key":"9508_CR17","doi-asserted-by":"crossref","unstructured":"Scott, D.S. Nielsen, M., Schmidt, E.M. (eds.): Domains for denotational semantics. Springer, Berlin (1982)","DOI":"10.1007\/BFb0012801"}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-019-09508-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-019-09508-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-019-09508-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,3]],"date-time":"2022-10-03T23:05:38Z","timestamp":1664838338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-019-09508-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,7]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["9508"],"URL":"https:\/\/doi.org\/10.1007\/s11083-019-09508-0","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"type":"print","value":"0167-8094"},{"type":"electronic","value":"1572-9273"}],"subject":[],"published":{"date-parts":[[2019,11,7]]},"assertion":[{"value":"6 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 September 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 November 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}