{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:31:43Z","timestamp":1759073503904,"version":"3.37.3"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,1,5]],"date-time":"2019-01-05T00:00:00Z","timestamp":1546646400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["P202\/12\/G061"],"award-info":[{"award-number":["P202\/12\/G061"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007397","name":"Univerzita Karlova v Praze","doi-asserted-by":"publisher","award":["SVV-2017-260452"],"award-info":[{"award-number":["SVV-2017-260452"]}],"id":[{"id":"10.13039\/100007397","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10485-018-09553-7","type":"journal-article","created":{"date-parts":[[2019,1,5]],"date-time":"2019-01-05T04:51:35Z","timestamp":1546663895000},"page":"261-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Quotients of d-Frames"],"prefix":"10.1007","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1930-4904","authenticated-orcid":false,"given":"Tom\u00e1\u0161","family":"Jakl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Achim","family":"Jung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ale\u0161","family":"Pultr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,5]]},"reference":[{"key":"9553_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Logic Lang. Inf. 5, 25\u201363 (1996)","journal-title":"J. Logic Lang. Inf."},{"key":"9553_CR2","unstructured":"Abramsky, S.: Semantics of programming languages. Course Notes (1991)"},{"key":"9553_CR3","volume-title":"Abstract and Concrete Categories","author":"J Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.: Abstract and Concrete Categories. Wiley, New York (1990)"},{"key":"9553_CR4","first-page":"1","volume-title":"Semantic Structures, Volume 3 of Handbook of Logic in Computer Science","author":"S Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Semantic Structures, Volume 3 of Handbook of Logic in Computer Science, pp. 1\u2013168. Clarendon Press, Oxford (1994)"},{"key":"9553_CR5","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"ND Belnap","year":"1976","unstructured":"Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30\u201356. Oriel Press, Newcastle upon Tyne (1976)"},{"key":"9553_CR6","first-page":"8","volume-title":"Modern Uses of Multiple-Valued Logic","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8\u201337. Reidel Publishing Company, Dordrecht (1977)"},{"key":"9553_CR7","volume-title":"Extremal Epimorphisms in $${\\sf dFrm}$$ dFrm","author":"IM Carollo","year":"2017","unstructured":"Carollo, I.M., Moshier, M.A.: Extremal Epimorphisms in $${\\sf dFrm}$$ dFrm \u2019 and an Isbell-Type Density Theorem. Chapman University, Orange (2017)"},{"key":"9553_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains, Volume 93 of Encyclopedia of Mathematics and Its Applications","author":"G Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains, Volume 93 of Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (2003)"},{"key":"9553_CR9","unstructured":"Jakl, T., Jung, A.: Free constructions and coproducts of d-frames. In: CALCO 2017, Leibniz International Proceedings in Informatics. Dagstuhl Publishing (2017)"},{"key":"9553_CR10","unstructured":"Jung, A., Moshier, M.A.: On the bitopological nature of Stone duality. Technical Report CSR-06-13, School of Computer Science, The University of Birmingham (2006)"},{"key":"9553_CR11","volume-title":"Stone Spaces, Volume 3 of Cambridge Studies in Advanced Mathematics","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces, Volume 3 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1982)"},{"key":"9553_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician, Volume 5 of Graduate Texts in Mathematics","author":"S Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, Volume 5 of Graduate Texts in Mathematics. Springer, Berlin (1971)"},{"key":"9553_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0154-6","volume-title":"Frames and Locales: Topology Without Points. Frontiers in Mathematics","author":"J Picado","year":"2012","unstructured":"Picado, J., Pultr, A.: Frames and Locales: Topology Without Points. Frontiers in Mathematics. Birkh\u00e4user, Basel (2012)"},{"key":"9553_CR14","unstructured":"Rivieccio, U.: An Algebraic Study of Bilattice-Based Logics. PhD thesis, University of Barcelona (2010)"},{"key":"9553_CR15","doi-asserted-by":"crossref","unstructured":"Scott, D.S.: Domains for denotational semantics. In: Nielson, M., Schmidt, E.M. (eds.) International Colloquium on Automata, Languages and Programs, Volume 140 of Lecture Notes in Computer Science, pp. 577\u2013613. Springer (1982)","DOI":"10.1007\/BFb0012801"},{"key":"9553_CR16","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1093\/oso\/9780198537359.003.0005","volume-title":"Handbook of Logic in Computer Science","author":"MB Smyth","year":"1992","unstructured":"Smyth, M.B.: Topology. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 1, pp. 641\u2013761. Clarendon Press, Oxford (1992)"},{"key":"9553_CR17","volume-title":"Topology via Logic, Volume 5 of Cambridge Tracts in Theoretical Computer Science","author":"SJ Vickers","year":"1989","unstructured":"Vickers, S.J.: Topology via Logic, Volume 5 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1989)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-018-09553-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-018-09553-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-018-09553-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T20:48:47Z","timestamp":1720903727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-018-09553-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,5]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9553"],"URL":"https:\/\/doi.org\/10.1007\/s10485-018-09553-7","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2019,1,5]]},"assertion":[{"value":"29 August 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 January 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}