{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T07:19:20Z","timestamp":1780384760753,"version":"3.54.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T00:00:00Z","timestamp":1666656000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T00:00:00Z","timestamp":1666656000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100009068","name":"Consejo Nacional de Innovaci\u00f3n, Ciencia y Tecnolog\u00eda","doi-asserted-by":"publisher","award":["PIP 11220150100412CO"],"award-info":[{"award-number":["PIP 11220150100412CO"]}],"id":[{"id":"10.13039\/501100009068","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s11225-022-10019-0","type":"journal-article","created":{"date-parts":[[2022,10,25]],"date-time":"2022-10-25T17:03:04Z","timestamp":1666717384000},"page":"113-138","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Hilbert Algebras with Hilbert\u2013Galois Connections"],"prefix":"10.1007","volume":"111","author":[{"given":"Sergio A.","family":"Celani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8832-6715","authenticated-orcid":false,"given":"Daniela","family":"Montangie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,10,25]]},"reference":[{"key":"10019_CR1","unstructured":"Balbes, R., and P. H. Dwinger, Distributive Lattices, University of Missouri Press, 1974."},{"issue":"3","key":"10019_CR2","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1017\/S0960129509990302","volume":"20","author":"G Bezhanishvili","year":"2010","unstructured":"Bezhanishvili, G., N. Bezhanishvili, D. Gabelaia, and A. Kurz, Bitopological duality for distributive lattices and Heyting algebras, Mathematical Structures in Computer Science 20(3):359\u2013393, 2010.","journal-title":"Mathematical Structures in Computer Science"},{"key":"10019_CR3","doi-asserted-by":"crossref","unstructured":"Birkhoff, G., Lattice Theory, 1st ed, American Mathematical Society Colloquium Publications AMS, Providence, RI 1940 (3rd ed, 1967).","DOI":"10.1090\/coll\/025"},{"issue":"1","key":"10019_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1155\/S0161171202011134","volume":"29","author":"SA Celani","year":"2002","unstructured":"Celani, S. A., A note on homomorphism of Hilbert algebras, International Journal of Mathematics and Mathematical Sciences 29(1):55\u201361, 2002.","journal-title":"International Journal of Mathematics and Mathematical Sciences"},{"key":"10019_CR5","doi-asserted-by":"publisher","first-page":"561","DOI":"10.2478\/BF02475182","volume":"4","author":"SA Celani","year":"2003","unstructured":"Celani, S. A., Representation of Hilbert algebras and implicative semilattices, Central European Mathematical Journal 4:561\u2013571, 2003.","journal-title":"Central European Mathematical Journal"},{"issue":"3","key":"10019_CR6","first-page":"463","volume":"7","author":"SA Celani","year":"2009","unstructured":"Celani, S. A., L. M. Cabrer, and D. Montangie, Representation and duality for Hilbert algebras, Central European Journal of Mathematics 7(3):463\u2013478, 2009.","journal-title":"Central European Journal of Mathematics."},{"issue":"3","key":"10019_CR7","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s11083-015-9378-4","volume":"33","author":"SA Celani","year":"2016","unstructured":"Celani, S. A., and R. Jansana, A note on Hilbert algebras and their related generalized Esakia spaces, Order 33(3):429\u2013458, 2016.","journal-title":"Order"},{"issue":"3","key":"10019_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00012-012-0178-z","volume":"67","author":"SA Celani","year":"2012","unstructured":"Celani, S. A., and D. Montangie, Hilbert algebras with supremum, Algebra Universalis 67(3):237\u2013255, 2012.","journal-title":"Algebra Universalis"},{"key":"10019_CR9","first-page":"47","volume":"49","author":"SA Celani","year":"2014","unstructured":"Celani, S. A., and D. Montangie, Hilbert algebras with a necessity modal operator, Reports on Mathematical Logic 49:47\u201377, 2014.","journal-title":"Reports on Mathematical Logic"},{"issue":"3","key":"10019_CR10","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1007\/s11225-014-9583-y","volume":"103","author":"SA Celani","year":"2015","unstructured":"Celani, S. A., and D. Montangie, Hilbert algebras with a modal operator $$\\Diamond $$, Studia Logica 103(3):639\u2013662, 2015.","journal-title":"Studia Logica"},{"key":"10019_CR11","unstructured":"Chajda, I., R. Halas, and J. Kuhr, Semilattice structures, in Research and Exposition in Mathematics, vol. 30, Heldermann Verlag, 2007."},{"key":"10019_CR12","doi-asserted-by":"crossref","unstructured":"Dickmann, M., N. Schwartz, and M. Tressl, Spectral Spaces. New Monographs in Mathematics, vol. 35, Cambridge University Press, 2019.","DOI":"10.1017\/9781316543870"},{"key":"10019_CR13","unstructured":"Diego, A., Sur les alg\u00e8bres de Hilbert, Hermann, Paris, Collection de Logique Math., S\u00e8r. A 21, 1966."},{"key":"10019_CR14","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1093\/jigpal\/jzp057","volume":"18","author":"W Dzik","year":"2010","unstructured":"Dzik, W., J. Jarvinen, and M. Kondo, Intuitionistic propositional logic with Galois connections, Logic Journal of the IGPL 18:837\u2013858, 2010.","journal-title":"Logic Journal of the IGPL"},{"issue":"6","key":"10019_CR15","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1093\/jigpal\/jzu024","volume":"22","author":"W Dzik","year":"2014","unstructured":"Dzik, W., J. Jarvinen, and M. Kondo, Characterizing intermediate tense logics in terms of Galois connections, Logic Journal of IGPL 22(6):992\u20131018, 2014.","journal-title":"Logic Journal of IGPL"},{"issue":"1, Part 4","key":"10019_CR16","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/j.ijar.2013.07.005","volume":"55","author":"W Dzik","year":"2014","unstructured":"Dzik, W., J. Jarvinen, and M. Kondo, Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets, International Journal of Approximate Reasoning 55(1, Part 4):427\u2013435, 2014.","journal-title":"International Journal of Approximate Reasoning"},{"key":"10019_CR17","first-page":"147","volume":"15","author":"L Esakia","year":"1974","unstructured":"Esakia, L., Topological Kripke models, Soviet Mathematics Doklady 15:147\u2013151, 1974.","journal-title":"Soviet Mathematics Doklady"},{"key":"10019_CR18","unstructured":"Esakia, L., Heyting Algebras I. Duality Theory (in Russian), Metsniereba, 1985."},{"key":"10019_CR19","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1090\/S0002-9947-1969-0251026-X","volume":"142","author":"M Hochster","year":"1969","unstructured":"Hochster, M., Prime ideal structure in commutative rings, Transactions of the American Mathematical Society 142:43\u201360, 1969.","journal-title":"Transactions of the American Mathematical Society"},{"key":"10019_CR20","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1016\/j.ijar.2008.06.003","volume":"49","author":"J Jarvinen","year":"2008","unstructured":"Jarvinen, J., M. Kondo, and J. Kortelainen, Logics from Galois connections, International Journal of Approximate Reasoning 49:595\u2013606, 2008.","journal-title":"International Journal of Approximate Reasoning"},{"key":"10019_CR21","unstructured":"Johnstone, P., Stone Spaces, Cambridge University Press, 1982."},{"key":"10019_CR22","unstructured":"Kowalski, T., Varieties of Tense Algebras, Reports on Mathematical Logic 32: 53\u201395, 1998."},{"key":"10019_CR23","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1090\/S0002-9947-1965-0176944-9","volume":"117","author":"WC Nemitz","year":"1965","unstructured":"Nemitz, W. C., Implicative semi-lattices, Transactions of the American Mathematical Society 117:128\u2013142, 1965.","journal-title":"Transactions of the American Mathematical Society"},{"key":"10019_CR24","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1090\/S0002-9947-1944-0010555-7","volume":"55","author":"O Ore","year":"1944","unstructured":"Ore, O., Galois connexions, Transactions of the American Mathematical Society 55:493\u2013513, 1944.","journal-title":"Transactions of the American Mathematical Society"},{"key":"10019_CR25","doi-asserted-by":"crossref","unstructured":"Pacuit, E., Neighborhood Semantics for Modal Logic, Short Textbooks in Logic, Springer, 2017.","DOI":"10.1007\/978-3-319-67149-9"},{"key":"10019_CR26","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H Priestley","year":"1970","unstructured":"Priestley, H., Representation of distributive lattices by means of ordered Stone spaces, Bulletin of the London Mathematical Society 2:186\u2013190, 1970.","journal-title":"Bulletin of the London Mathematical Society"},{"key":"10019_CR27","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1002\/mana.19530100309","volume":"10","author":"J Schmidt","year":"1953","unstructured":"Schmidt, J., Beitrage zur Filtertheorie, II, Mathematische Nachrichten 10:197\u2013232, 1953.","journal-title":"Mathematische Nachrichten"},{"key":"10019_CR28","first-page":"1","volume":"67","author":"M Stone","year":"1937","unstructured":"Stone, M., Topological representation of distributive lattices and Brouwerian logics, \u010casopis pro p\u011bstov\u00e1n\u00ed matematiky a fysiky 67:1\u201325, 1937.","journal-title":"\u010casopis pro p\u011bstov\u00e1v\u00ed matematiky a fysiky"},{"issue":"1","key":"10019_CR29","doi-asserted-by":"publisher","first-page":"150","DOI":"10.2307\/2272558","volume":"37","author":"SK Thomason","year":"1972","unstructured":"Thomason, S. K., Semantic analysis of tense logics, Journal of Symbolic Logic 37(1):150\u2013158, 1972.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10019-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-10019-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10019-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T20:18:23Z","timestamp":1674505103000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-10019-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,25]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["10019"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-10019-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,25]]},"assertion":[{"value":"15 October 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 September 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 October 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}