{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T15:40:25Z","timestamp":1774453225969,"version":"3.50.1"},"reference-count":19,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T00:00:00Z","timestamp":1720224000000},"content-version":"vor","delay-in-days":66,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"funder":[{"DOI":"10.13039\/501100003947","name":"Universidad Nacional de La Plata","doi-asserted-by":"publisher","award":["11X\/921"],"award-info":[{"award-number":["11X\/921"]}],"id":[{"id":"10.13039\/501100003947","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003074","name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","doi-asserted-by":"publisher","award":["PICT2019\u20102019\u201000882"],"award-info":[{"award-number":["PICT2019\u20102019\u201000882"]}],"id":[{"id":"10.13039\/501100003074","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","award":["PIP 11220200100912CO"],"award-info":[{"award-number":["PIP 11220200100912CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","award":["PIP 11220170100195CO"],"award-info":[{"award-number":["PIP 11220170100195CO"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2024,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The variety of weak Heyting algebras was introduced in 2005 by Celani and Jansana. This corresponds to the strict implication fragment of the normal modal logic  which is also known as the subintuitionistic local consequence of the class of all Kripke models. Subresiduated lattices are a generalization of Heyting algebras and particular cases of weak Heyting algebras. They were introduced during the 1970s by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. In this paper we study the class of implicative\u2010infimum subreducts of weak Heyting algebras. In particular, we prove that this class is a variety by giving an equational base for it. We also present a topological duality for the algebraic category whose objects are the implicative\u2010infimum subreducts of subresiduated\u00a0lattices.<\/jats:p>","DOI":"10.1002\/malq.202300021","type":"journal-article","created":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T05:09:20Z","timestamp":1720328960000},"page":"178-196","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On the implicative\u2010infimum subreducts of weak Heyting algebras"],"prefix":"10.1002","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2542-4128","authenticated-orcid":false,"given":"Sergio","family":"Celani","sequence":"first","affiliation":[{"name":"Departamento de Matem\u00e1tica Facultad de Ciencias Exactas, Universidad Nacional del Centro de la Provincia de Buenos Aires, and Conicet Tandil Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9187-0970","authenticated-orcid":false,"given":"Hern\u00e1n J.","family":"San Mart\u00edn","sequence":"additional","affiliation":[{"name":"Centro de Matem\u00e1tica de La Plata (CMaLP) Facultad de Ciencias Exactas, Universidad Nacional de La Plata, and Conicet La Plata Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2024,7,6]]},"reference":[{"key":"e_1_2_8_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19980440304"},{"key":"e_1_2_8_3_1","volume-title":"Distributive Lattices","author":"Balbes R.","year":"1974"},{"key":"e_1_2_8_4_1","first-page":"1","article-title":"Finitely generated free Heyting algebras via Birkhoff duality and coalgebra","volume":"7","author":"Bezhanishvili N.","year":"2011","journal-title":"Log. Methods Comput. Sci."},{"key":"e_1_2_8_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"e_1_2_8_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-022-06807-4"},{"key":"e_1_2_8_7_1","article-title":"On subreducts of subresiduated lattices and some related logics","author":"Castiglioni J. L.","year":"2023","journal-title":"J. Log. Comput."},{"issue":"1","key":"e_1_2_8_8_1","first-page":"55","article-title":"Topological representation of distributive semilattices","volume":"58","author":"Celani S.","year":"2003","journal-title":"Sci. Math. Jpn."},{"key":"e_1_2_8_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200510041"},{"key":"e_1_2_8_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-020-09600-2"},{"key":"e_1_2_8_11_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1063372244"},{"key":"e_1_2_8_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200410022"},{"key":"e_1_2_8_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2022.05.019"},{"key":"e_1_2_8_14_1","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2022-0014"},{"key":"e_1_2_8_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19760220128"},{"key":"e_1_2_8_16_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1965-0176944-9"},{"key":"e_1_2_8_17_1","series-title":"Advances in Intelligent Systems Research","first-page":"475","volume-title":"Proceedings of the 8th Conference of the Eurorean Society for Fuzzy Logic and Technology (EUSFLAT 2013)","author":"Mart\u00edn H. J. San","year":"2013"},{"key":"e_1_2_8_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-016-0381-4"},{"key":"e_1_2_8_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-022-10011-8"},{"key":"e_1_2_8_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00005944"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.202300021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T21:16:12Z","timestamp":1721769372000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.202300021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,5]]}},"alternative-id":["10.1002\/malq.202300021"],"URL":"https:\/\/doi.org\/10.1002\/malq.202300021","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5]]},"assertion":[{"value":"2023-05-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-02-15","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-07-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}