{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T05:25:43Z","timestamp":1747200343061},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T00:00:00Z","timestamp":1405036800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s11225-014-9559-y","type":"journal-article","created":{"date-parts":[[2014,7,10]],"date-time":"2014-07-10T03:55:12Z","timestamp":1404964512000},"page":"287-301","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Proof of Tarski\u2019s Fixed Point Theorem by Application of Galois Connections"],"prefix":"10.1007","volume":"103","author":[{"given":"Marek","family":"Nowak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,11]]},"reference":[{"key":"9559_CR1","volume-title":"Lattices and Ordered Algebraic Structures","author":"S.T Blyth","year":"2005","unstructured":"Blyth S.T: Lattices and Ordered Algebraic Structures. Springer, Berlin (2005)"},{"key":"9559_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2140\/pjm.1979.82.43","volume":"82","author":"P. Cousot","year":"1979","unstructured":"Cousot P., Cousot R.: Constructive versions of Tarski\u2019s fixed point theorems. Pacific Journal of Mathematics 82, 43\u201357 (1979)","journal-title":"Pacific Journal of Mathematics"},{"key":"9559_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order, 2nd ed","author":"B.A. Davey","year":"2002","unstructured":"Davey B.A., Priestley H.A.: Introduction to Lattices and Order, 2nd ed. Cambridge University Press, Cambridge (2002)"},{"key":"9559_CR4","doi-asserted-by":"crossref","unstructured":"K. Denecke, M. Ern\u00e9, and S. L. Wismath (eds.), Galois Connections and Applications, Kluwer, Dordrecht, 2004.","DOI":"10.1007\/978-1-4020-1898-5"},{"key":"9559_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1023\/A:1010662327346","volume":"18","author":"F. Domenach","year":"2001","unstructured":"Domenach, F., and B. Leclerc, Biclosed binary relations and Galois connections, Order 18:89\u2013104, 2001.","journal-title":"Order"},{"key":"9559_CR6","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s001820400192","volume":"33","author":"F. Echenique","year":"2005","unstructured":"Echenique, F., A short and constructive proof of Tarski\u2019s fixed-point theorem, International Journal of Game Theory 33:215\u2013218, 2005.","journal-title":"International Journal of Game Theory"},{"key":"9559_CR7","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1111\/j.1749-6632.1993.tb52513.x","volume":"704","author":"M. Ern\u00e9","year":"1993","unstructured":"Ern\u00e9, M., J. Koslowski, A. Melton, and G. E. Strecker, A Primer on Galois Connections, Annals of the New York Academy of Sciences 704:103\u2013125, 1993.","journal-title":"Annals of the New York Academy of Sciences"},{"key":"9559_CR8","doi-asserted-by":"crossref","unstructured":"Ern\u00e9, M., B. \u0160e\u0161eljar, and A. Tepav\u010devi\u0107, Posets generated by irreducible elements Order 20:79\u201389, 2003.","DOI":"10.1023\/A:1024438130716"},{"key":"9559_CR9","first-page":"53","volume":"42","author":"M. Nowak","year":"2013","unstructured":"Nowak M., Tarski A.: On some application of residuated mappings. Bulletin of the Section of Logic 42, 53\u201368 (2013)","journal-title":"Bulletin of the Section of Logic"},{"key":"9559_CR10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5, 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9559-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-014-9559-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9559-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T23:15:05Z","timestamp":1553642105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-014-9559-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,11]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["9559"],"URL":"https:\/\/doi.org\/10.1007\/s11225-014-9559-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,11]]}}}