{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T04:04:34Z","timestamp":1751083474090,"version":"3.41.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T00:00:00Z","timestamp":1714694400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T00:00:00Z","timestamp":1714694400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100002923","name":"CONICET","doi-asserted-by":"crossref","award":["PIP 11220170100195CO and PIP 11220200100912CO"],"award-info":[{"award-number":["PIP 11220170100195CO and PIP 11220200100912CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003074","name":"ANPCyT","doi-asserted-by":"crossref","award":["PICT2019-2019-00882"],"award-info":[{"award-number":["PICT2019-2019-00882"]}],"id":[{"id":"10.13039\/501100003074","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100018694","name":"HORIZON EUROPE Marie Sklodowska-Curie Actions","doi-asserted-by":"publisher","award":["101007627"],"award-info":[{"award-number":["101007627"]}],"id":[{"id":"10.13039\/100018694","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003074","name":"ANPCyT","doi-asserted-by":"crossref","award":["PICT2019-2019-00882","101007627"],"award-info":[{"award-number":["PICT2019-2019-00882","101007627"]}],"id":[{"id":"10.13039\/501100003074","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100002923","name":"CONICET","doi-asserted-by":"crossref","award":["PIP 11220170100195CO and PIP 11220200100912CO"],"award-info":[{"award-number":["PIP 11220170100195CO and PIP 11220200100912CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003074","name":"ANPCyT","doi-asserted-by":"crossref","award":["PICT2019-2019-00882"],"award-info":[{"award-number":["PICT2019-2019-00882"]}],"id":[{"id":"10.13039\/501100003074","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100018694","name":"HORIZON EUROPE Marie Sklodowska-Curie Actions","doi-asserted-by":"publisher","award":["101007627"],"award-info":[{"award-number":["101007627"]}],"id":[{"id":"10.13039\/100018694","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002923","name":"CONICET","doi-asserted-by":"crossref","award":["PIP 11220170100195CO and PIP 11220200100912CO"],"award-info":[{"award-number":["PIP 11220170100195CO and PIP 11220200100912CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s11225-024-10112-6","type":"journal-article","created":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T08:02:16Z","timestamp":1714723336000},"page":"781-821","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Weak Lewis Distributive Lattices"],"prefix":"10.1007","volume":"113","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9559-3360","authenticated-orcid":false,"given":"Ismael","family":"Calomino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2542-4128","authenticated-orcid":false,"given":"Sergio A.","family":"Celani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9187-0970","authenticated-orcid":false,"given":"Hern\u00e1n J. San","family":"Mart\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,3]]},"reference":[{"key":"10112_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"M Ardeshir","year":"1998","unstructured":"Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I, Mathematical Logic Quarterly 44:317\u2013343, 1998.","journal-title":"Mathematical Logic Quarterly"},{"key":"10112_CR2","volume-title":"Distributive Lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, 1974."},{"key":"10112_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s00012-011-0153-0","volume":"66","author":"S Celani","year":"2011","unstructured":"Celani, S., Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic, Algebra Universalis 66:183\u2013204, 2011.","journal-title":"Algebra Universalis"},{"key":"10112_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s11083-008-9106-4","volume":"26","author":"S Celani","year":"2009","unstructured":"Celani, S., Topological duality for Boolean algebras with a normal n-ary monotonic operator, Order 26:49\u201367, 2009.","journal-title":"Order"},{"key":"10112_CR5","first-page":"225","volume":"42","author":"S Celani","year":"2003","unstructured":"Celani, S., and R. Jansana, A closer look at some subintuitionistic logics, Notre Dame Journal of Formal Logic 42:225\u2013255, 2003.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10112_CR6","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/malq.200410022","volume":"51","author":"S Celani","year":"2005","unstructured":"Celani, S., and R. Jansana, Bounded distributive lattices with strict implication, Mathematical Logic Quarterly 51:219\u2013246, 2005.","journal-title":"Mathematical Logic Quarterly"},{"key":"10112_CR7","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1002\/malq.19870330503","volume":"33","author":"G Corsi","year":"1987","unstructured":"Corsi, G., Weak logics with strict implication, Mathematical Logic Quarterly 33:389\u2013406, 1987.","journal-title":"Mathematical Logic Quarterly"},{"key":"10112_CR8","unstructured":"Davey, B., and H. A. Priestley, Introduction to Lattices and Order. Cambridge University Press, 1994."},{"key":"10112_CR9","unstructured":"de Groot, J., T. Litak, and D. Pattinson, G\u00f6del-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication, arXiv:2105.01873"},{"key":"10112_CR10","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1215\/00294527-2022-0014","volume":"63","author":"J de Groot","year":"2022","unstructured":"de Groot, J., and D. Pattinson, Monotone subintuitionistic logic: duality and transfer results, Notre Dame Journal of Formal Logic 63:213\u2013242, 2022.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10112_CR11","first-page":"103","volume":"229","author":"K Do\u0161en","year":"1994","unstructured":"Do\u0161en, K., Modal translation in K and D, Diamonds and Defaults, The Series Synthese Library 229:103\u2013127, 1994.","journal-title":"Diamonds and Defaults, The Series Synthese Library"},{"key":"10112_CR12","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1002\/malq.19760220128","volume":"22","author":"G Epstein","year":"1976","unstructured":"Epstein, G., and A. Horn, Logics which are characterized by subresiduated lattices, Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 22:199\u2013210, 1976.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10112_CR13","doi-asserted-by":"crossref","unstructured":"Esakia, L., Heyting algebras. Duality theory, G. Bezhanishvili, and W. Holliday, (eds.), translated from the Russian by A. Evseev, vol. 50 of Trends in Logic, Springer, 2019.","DOI":"10.1007\/978-3-030-12096-2"},{"key":"10112_CR14","doi-asserted-by":"crossref","unstructured":"Gehrke, M., and S. van Gool, Topological Duality for Distributive Lattices: Theory and Applications, arXiv:2203.03286, 2023.","DOI":"10.1017\/9781009349680"},{"key":"10112_CR15","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/BF01028975","volume":"51","author":"R Goldblatt","year":"1992","unstructured":"Goldblatt, R., Parallel action: concurrent dynamic logic with independent modalities, Studia Logica 51:551\u2013578, 1992.","journal-title":"Studia Logica"},{"key":"10112_CR16","unstructured":"Hansen, H. H., Monotonic Modal Logic, Master\u2019s Thesis, University of Amsterdam, 2003."},{"key":"10112_CR17","unstructured":"Iemhoff, R., Provability Logic and Admissible Rules, Ph.D. Thesis, University of Amsterdam, 2001."},{"key":"10112_CR18","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1002\/malq.200310023","volume":"49","author":"R Iemhoff","year":"2003","unstructured":"Iemhoff, R., Preservativity logic: an analogue of interpretability logic for constructive theories, Mathematical Logic Quarterly 49:230\u2013249, 2003.","journal-title":"Mathematical Logic Quarterly"},{"key":"10112_CR19","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1093\/jigpal\/jzi047","volume":"13","author":"R Iemhoff","year":"2005","unstructured":"Iemhoff, R., D. De Jongh, and C. Zhou, Properties of intuitionistic provability and preservativity logics, Logic Journal of the IGPL 13:615\u2013636, 2005.","journal-title":"Logic Journal of the IGPL"},{"key":"10112_CR20","doi-asserted-by":"publisher","first-page":"589","DOI":"10.2307\/2012652","volume":"11","author":"CI Lewis","year":"1920","unstructured":"Lewis, C. I., The matrix algebra for implications, The Journal of Philosophy, Psychology and Scientific Methods 11:589\u2013600, 1920.","journal-title":"The Journal of Philosophy, Psychology and Scientific Methods"},{"key":"10112_CR21","doi-asserted-by":"crossref","unstructured":"Lewis, C. I., A Survey of Symbolic Logic, University of California Press, 1918.","DOI":"10.1525\/9780520398252"},{"key":"10112_CR22","unstructured":"Lewis, C. I., and C. H. Langford, Symbolic Logic, in The Century philosophical Series, Century Company, New York-London, 1932."},{"key":"10112_CR23","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.indag.2017.10.003","volume":"29","author":"T Litak","year":"2018","unstructured":"Litak, T., and A. Visser, Lewis meets Brouwer: constructive strict implication, Indagationes Mathematicae 29:36\u201390, 2018.","journal-title":"Indagationes Mathematicae"},{"key":"10112_CR24","unstructured":"Litak, T., and A. Visser, Lewisian Fixed Points I: Two Incomparable Constructions, arXiv:1905.09450."},{"key":"10112_CR25","first-page":"214","volume":"25","author":"FS Maleki","year":"2017","unstructured":"Maleki, F. S., and D. de Jongh, Weak subintuitionistic logics, Logic Journal of the IGPL 25:214\u2013231, 2017.","journal-title":"Logic Journal of the IGPL"},{"key":"10112_CR26","doi-asserted-by":"publisher","unstructured":"Moniri, M., and F. Shirmohammadzadeh Maleki, Another neighbourhood semantics for intuitionistic logic, Logic Journal of the IGPLhttps:\/\/doi.org\/10.1093\/jigpal\/jzac069.2022.","DOI":"10.1093\/jigpal\/jzac069."},{"key":"10112_CR27","doi-asserted-by":"crossref","unstructured":"Pacuit, E., Neighborhood Semantics for Modal Logic, Springer, 2017.","DOI":"10.1007\/978-3-319-67149-9"},{"key":"10112_CR28","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H. A., Representation of bounded distributive lattice by means of orderer Stone spaces, Bulletin of the London Mathematical Society 2:186\u2013190, 1970.","journal-title":"Bulletin of the London Mathematical Society"},{"key":"10112_CR29","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1305\/ndjfl\/1040609299","volume":"35","author":"G Restall","year":"1994","unstructured":"Restall G., Subintuitionistic logics, Notre Dame Journal of Formal Logic 35:116\u2013129, 1994.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10112_CR30","doi-asserted-by":"publisher","first-page":"3167","DOI":"10.1007\/s00500-016-2188-9","volume":"21","author":"HJ San Mart\u00edn","year":"2017","unstructured":"San Mart\u00edn, H. J., On congruences in weak implicative semi-lattices, Soft Computing 21:3167\u20133176, 2017.","journal-title":"Soft Computing"},{"key":"10112_CR31","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BF01874706","volume":"40","author":"A Visser","year":"1981","unstructured":"Visser, A., A propositional logic with explicit fixed points, Studia Logica 40:155\u2013175, 1981.","journal-title":"Studia Logica"},{"key":"10112_CR32","doi-asserted-by":"crossref","unstructured":"Visser, A., Substitutions of $$\\sum _{1}^{0}$$-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic, Annals of Pure and Applied Logic 114:227\u2013271, 2002.","DOI":"10.1016\/S0168-0072(01)00081-1"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10112-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10112-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10112-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T08:43:28Z","timestamp":1751013808000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10112-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,3]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["10112"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10112-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,5,3]]},"assertion":[{"value":"2 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 May 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}